(1985). Formal methods and software development: Proceedings of the Internat. Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985. Springer.
Chicago-Zitierstil (17. Ausg.)Formal Methods and Software Development: Proceedings of the Internat. Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985. Berlin: Springer, 1985.
MLA-Zitierstil (9. Ausg.)Formal Methods and Software Development: Proceedings of the Internat. Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985. Springer, 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.