Παραπομπή σε μορφή APA (7η εκδ.)

VDM '87 Brussels, Belgium, VDM-Europe, & Bjørner, D. (1987). VDM '87: VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

VDM '87 Brussels, Belgium, VDM-Europe, και D. Bjørner. VDM '87: VDM, a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987 : Proceedings. Berlin ; New York: Springer, 1987.

Παραπομπή σε μορφή MLA (8th εκδ.)

VDM '87 Brussels, Belgium, et al. VDM '87: VDM, a Formal Method at Work : VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987 : Proceedings. Springer, 1987.