%0 Report %1 z:duke91 %A Duke, R. %A King, P. %A Rose, G. A. %A Smith, G. %C St.\ Lucia 4072, Australia %D 1991 %K Z %N 91-1 %T The Object-Z Specification Language: Version 1 %U ftp://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr91-1.ps.Z %Z The most complete (and currently the standard) reference on Object-Z. It has been reprinted by ISO JTC1 WG7 as document number 372. A condensed version of this report was published as z:duke91b.

@techreport{z:duke91, added-at = {2006-01-13T20:47:45.000+0100}, address = {St.\ Lucia 4072, Australia}, annote = {The most complete (and currently the standard) reference on Object-Z. It has been reprinted by ISO JTC1 WG7 as document number 372. A condensed version of this report was published as \cite{z:duke91b}.}, author = {Duke, R. and King, P. and Rose, G. A. and Smith, G.}, biburl = {https://www.bibsonomy.org/bibtex/29f2cd2a1a3009a41616c7cbb41b1bcbb/mobileink}, description = {Object-Z desc}, institution = {Department of Computer Science, University of Queensland}, interhash = {30998d28f9d84aaf0981c576a43c51bd}, intrahash = {9f2cd2a1a3009a41616c7cbb41b1bcbb}, keywords = {Z}, month = {April}, number = {91-1}, timestamp = {2006-01-13T20:47:45.000+0100}, title = {The {Object-Z} Specification Language: Version 1}, type = {Technical Report}, url = {ftp://ftp.cs.uq.oz.au/pub/SVRC/techreports/tr91-1.ps.Z}, year = 1991 }