APA-Zitierstil (7. Ausg.)

Lucas, P. (1987). VDM '87. VDM - A formal method at work: VDM-Europe symposium 1987. Proceedings, Brussels, Belgium, March 23-26, 1987. Springer.

Chicago-Zitierstil (17. Ausg.)

Lucas, Peter. VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987. Proceedings, Brussels, Belgium, March 23-26, 1987. Berlin: Springer, 1987.

MLA-Zitierstil (9. Ausg.)

Lucas, Peter. VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987. Proceedings, Brussels, Belgium, March 23-26, 1987. Springer, 1987.