%0 Book %1 JS92 %A Spivey, J. Mike %D 1992 %I Prentice Hall International Series in Computer Science %K imported %T The Z Notation: A Reference Manual %7 2nd

@book{JS92, added-at = {2007-11-17T13:30:54.000+0100}, author = {Spivey, J. Mike}, biburl = {https://www.bibsonomy.org/bibtex/207cb48950760868743e735684b17227c/caduta}, edition = {2nd}, interhash = {ff4bb6e1e450a8c81b0e193db68eda56}, intrahash = {07cb48950760868743e735684b17227c}, keywords = {imported}, length = {150}, publisher = {{Prentice Hall International Series in Computer Science}}, timestamp = {2007-11-17T13:31:00.000+0100}, title = {{The {Z} Notation: {A} Reference Manual}}, year = 1992 }