APA-viite (7. p.)

Kaijanaho, A., tiedekunta, I., Technology, F. o. I., laitos, T., Technology, D. o. M. I., Jyväskylä, U. o., & yliopisto, J. (2002). The formal method known as B and a sketch for its implementation.

Chicago-viite (17. p.)

Kaijanaho, Antti-Juhani, Informaatioteknologian tiedekunta, Faculty of Information Technology, Tietotekniikan laitos, Department of Mathematical Information Technology, University of Jyväskylä, ja Jyväskylän yliopisto. The Formal Method Known as B and a Sketch for Its Implementation. 2002.

MLA-viite (9. p.)

Kaijanaho, Antti-Juhani, et al. The Formal Method Known as B and a Sketch for Its Implementation. 2002.