A story a dayAndy Everitt-Stewart, Ruth Galloway, Martin Remphry, Jan Smith · First published 2011Open the Tome
ZB 2000 : Formal Specification and Development in Z and BJonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King · First published 2003Open the Tome
