APA-Zitierstil (7. Ausg.)

Rudnicki, P., & Drabent, W. (1983). Proving properties of Pascal programs in MIZAR 2.

Chicago-Zitierstil (17. Ausg.)

Rudnicki, Piotr, und Włodzimierz Drabent. Proving Properties of Pascal Programs in MIZAR 2. Warsaw, 1983.

MLA-Zitierstil (9. Ausg.)

Rudnicki, Piotr, und Włodzimierz Drabent. Proving Properties of Pascal Programs in MIZAR 2. 1983.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.