Van der Poll, John A.; Kotze, Paula
(2005)
The Established Strategy for drawing up a Z specification document focuses on a more abstract activity of specification,
namely, how to combine schemas but is largely silent about how to construct a schema. Schema ...