Lutz Priese Ralf Rehrmann Uwe Willecke-Klemme An Introduction to the Regular Theory of Fairness. 139-163 1987 54 Theor. Comput. Sci. db/journals/tcs/tcs54.html#PrieseRW87