Books

Books : reviews

Roger Duke, Gordon A. Rose.
Formal Object-oriented Specification Using Object-Z.
Macmillan. 2000

(read but not reviewed)