Springer
Lecture Notes in Computer Science
International Symposium on Theoretical Aspects of Computer Science

Apt, K.& Olderog, E.-R. (1984). Transformations realizing fairness assumptions in parallel programs. Proceedings of Symposium on Theoretical Aspects of Computer Science 1984 (1), 26–42.