APA-Zitierstil (7. Ausg.)

Kaivola, R. (1995). Axiomatising linear time mu calculus.

Chicago-Zitierstil (17. Ausg.)

Kaivola, Roope. Axiomatising Linear Time Mu Calculus. Edinburgh, 1995.

MLA-Zitierstil (9. Ausg.)

Kaivola, Roope. Axiomatising Linear Time Mu Calculus. 1995.

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