APA-Zitierstil (7. Ausg.)

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