Formal methods and object technology. [ca. 1996]. In S. J. Goldsack (Hrsg.), Formal approaches to computing and information technology [Book]. London [u.a.]: Springer.
ISO-690 (author-date, English)GOLDSACK, Stephen J. (Hrsg.). London [u.a.]: Springer. ISBN 3540199772.
Modern Language Association 9th editionGoldsack, S. J., Herausgeber. „Formal methods and object technology“. Formal approaches to computing and information technology, book, Springer, 1996.
Mohr Siebeck - Recht (Deutsch - Österreich): Formal methods and object technology, London [u.a.] 1996.
Emerald - HarvardGoldsack, S.J. (Hrsg.). (1996), Formal methods and object technology, Formal approaches to computing and information technology, Bd. , Springer, London [u.a.].
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.