BJØRNER, Dines (Hrsg.). [book]. 1987. Berlin: Springer. Lecture notes in computer science, 252. ISBN 3540176543.
Elsevier - Harvard (with titles)Bjørner, D. (Hrsg.), 1987. VDM ’87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings. Lecture notes in computer science, Lecture notes in computer science.
American Psychological Association 7th editionBjørner, D. (Hrsg.). (ca. 1987). VDM ’87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings [Book]. In Lecture notes in computer science. VDM1, Brüssel. Springer.
Springer - Basic (author-date)Bjørner D (Hrsg.) (1987) VDM ’87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings. Lecture notes in computer science
Juristische Zitierweise (Stüber) (Deutsch)Bjørner, Dines (Hrsg.), VDM ’87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings, Lecture notes in computer science 1987, .