A mechanical formalization of several fairness notions (1991)

by David Goldschlag
Venue:VDM ’91: Formal Software Development Methods. Springer-Verlag Lecture Notes in Computer Science 551