American Psychological Association 6th edition

DERRICK, J., NORTH, S., & SIMONS, A. J. H. (2011). Z2 SAL: a translation-based model checker for Z. Papers from the ABZ 2008 Conference, 23(1), 43-71.

ISO-690 (author-date, English)

DERRICK, John, NORTH, Siobhán and SIMONS, Anthony J. H, 2011. Z2 SAL: a translation-based model checker for Z. Papers from the ABZ 2008 Conference. 1 January 2011. Vol. 23, no. 1, p. 43-71.

Modern Language Association 9th edition

DERRICK, J., S. NORTH, and A. J. H. SIMONS. “Z2 SAL: A Translation-Based Model Checker for Z”. Papers from the ABZ 2008 Conference, vol. 23, no. 1, Jan. 2011, pp. 43-71.

Mohr Siebeck - Recht (Deutsch - Österreich)

DERRICK, John/NORTH, Siobhán/SIMONS, Anthony J. H: Z2 SAL: a translation-based model checker for Z, Papers from the ABZ 2008 Conference 2011, 43-71.

Emerald - Harvard

DERRICK, J., NORTH, S. and SIMONS, A.J.H. (2011), “Z2 SAL: a translation-based model checker for Z”, Papers from the ABZ 2008 Conference, Vol. 23 No. 1, pp. 43-71.

Warning: These citations may not always be 100% accurate.