Specifying system implementations in Z
By: by Jonathan Bowen, Roger Gimson, Stig Topp-Jorgensen.
Contributors: Gimson, Roger.; Topp-Jorgenson, Stig.; Oxford University Computing Laboratory. Programming Research Group.
Series: Technical monograph -- PRG-63
Publisher: OxfordUniversity Computing Laboratory, Programming Research Group
Published: 1988
Place of publication: Oxford
Language: eng