The Object-Z Specification Language - innbundet, Engelsk, 1999