ZB 2003: Formal Specification and Development in Z and BDidier Bert, Jonathan P. Bowen, Steve King, Marina WaldénHäftad1 094 kr
ZB 2000: Formal Specification and Development in Z and BJonathan P. Bowen, Steve Dunne, Andy Galloway, Steve KingHäftad550 kr