APA (7th ed.) Citation

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 Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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