Fair mutual exclusion with unfair P and V operations
scientific article; zbMATH DE number 3954256