Apt, K. R., Boer, F. S. d., & Olderog, E. (1990). Proving termination of parallel programs.
Chicago-Zitierstil (17. Ausg.)Apt, Krzysztof R., Frank S. de Boer, und Ernst-Rüdiger Olderog. Proving Termination of Parallel Programs. Amsterdam, 1990.
MLA-Zitierstil (9. Ausg.)Apt, Krzysztof R., et al. Proving Termination of Parallel Programs. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.