(1994). Formal methods in the development of PREMO.
Chicago-Zitierstil (17. Ausg.)Formal Methods in the Development of PREMO. Amsterdam, 1994.
MLA-Zitierstil (9. Ausg.)Formal Methods in the Development of PREMO. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.