Kevin Lano Book Review: Formal Object-Oriented Specification Using Object-Z, by Roger Duke and Gordon Rose, Macmillan Press. 55 2001 11 Softw. Test., Verif. Reliab. 1 db/journals/stvr/stvr11.html#Lano01