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.