APA (7th ed.) Citation

Oluoch Ating'a, P., Krishna, A., & Porkorny, J. (2011). Verification of i* models using alloy. Springer.

Chicago Style (17th ed.) Citation

Oluoch Ating'a, Peter, Aneesh Krishna, and J. Porkorny. Verification of I* Models Using Alloy. Springer, 2011.

MLA (9th ed.) Citation

Oluoch Ating'a, Peter, et al. Verification of I* Models Using Alloy. Springer, 2011.