%0 Book %1 Potter1996 %A Potter, B. %A Till, D. %A Sinclair, J. %D 1996 %I Prentice Hall PTR Upper Saddle River, NJ, USA %K %T An introduction to formal specification and Z %@ 0132422077

@book{Potter1996, added-at = {2010-12-02T00:41:34.000+0100}, author = {Potter, B. and Till, D. and Sinclair, J.}, biburl = {https://www.bibsonomy.org/bibtex/2136ef67c8969d8e6b314df0c9f44095f/tasawer}, interhash = {8f87e903f4233a61f9f24cb20aef176f}, intrahash = {136ef67c8969d8e6b314df0c9f44095f}, isbn = {0132422077}, keywords = {}, publisher = {Prentice Hall PTR Upper Saddle River, NJ, USA}, timestamp = {2010-12-02T00:41:34.000+0100}, title = {An introduction to formal specification and Z}, year = 1996 }