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. In Proceedings of Symposium on Theoretical Aspects of Computer Science 1984 (1) (pp. 26–42). Springer.