VDM'91 Formal Software Development Methods. Berlin: Springer- Verlag, 1991 3-540-54868-8.
VDM'91 Formal Software Development Methods. Berlin: Springer- Verlag, 1991 3-540-54868-8.
(1991) VDM'91 Formal Software Development Methods, Berlin: Springer- Verlag 3-540-54868-8.
(1991). VDM'91 Formal Software Development Methods. 4th International Symposium of VDM Europe Noordwijkerhout,... Berlin: Springer- Verlag,.
VDM'91 Formal Software Development Methods: 4th International Symposium of VDM Europe Noordwijkerhout,... Berlin: Springer- Verlag; 1991. ISBN: 3-540-54868-8.