APA-Zitierstil (7. Ausg.)

Bradfield, J., Esparza, J., & Mader, A. (1995). An effective tableau system for the linear time mu calculus.

Chicago-Zitierstil (17. Ausg.)

Bradfield, Julian, Javier Esparza, und Angelika Mader. An Effective Tableau System for the Linear Time Mu Calculus. Edinburgh, 1995.

MLA-Zitierstil (9. Ausg.)

Bradfield, Julian, et al. An Effective Tableau System for the Linear Time Mu Calculus. 1995.