Bowen, J. P., Gimson, R., & Topp-Jørgensen, S. (1988). Specifying system implementations in Z.
Chicago-Zitierstil (17. Ausg.)Bowen, Jonathan P., Roger Gimson, und Stig Topp-Jørgensen. Specifying System Implementations in Z. Oxford, 1988.
MLA-Zitierstil (9. Ausg.)Bowen, Jonathan P., et al. Specifying System Implementations in Z. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.