Cita APA (7th ed.)

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-Verlag.

Cita Chicago (17th ed.)

VDM '87, Brussels, Belgium, VDM-Europe, i 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-Verlag, 1987.

Cita MLA (8th ed.)

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-Verlag, 1987.