ZB 2000: Formal Specification and Development in Z and BJonathan P. Bowen, Steve Dunne, Andy Galloway, Steve KingHäftad, 2000566 kr
ZB 2005: Formal Specification and Development in Z and BSteve Schneider, Martin Henson, Steve King, Helen Treharne E-bok20051 408 kr