%0 Book %1 Spivey1992 %A Spivey, J. M. %D 1992 %K imported %T The Z Notation: A Reference Manual

@book{Spivey1992, added-at = {2008-07-07T16:45:32.000+0200}, author = {Spivey, J. M.}, biburl = {https://www.bibsonomy.org/bibtex/2bef958b5039b5e106f31c5127c5b452e/pdeleenh}, interhash = {ff4bb6e1e450a8c81b0e193db68eda56}, intrahash = {bef958b5039b5e106f31c5127c5b452e}, keywords = {imported}, owner = {pdeleenh}, timestamp = {2008-07-07T16:47:48.000+0200}, title = {The Z Notation: A Reference Manual}, year = 1992 }