APA-Zitierstil (7. Ausg.)

Hietala, P. (1985). A course on program verification.

Chicago-Zitierstil (17. Ausg.)

Hietala, Pentti. A Course on Program Verification. Tampere, 1985.

MLA-Zitierstil (9. Ausg.)

Hietala, Pentti. A Course on Program Verification. 1985.

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