%0 Book %1 Hoare1998 %A Hoare, C.A.R. %A He, J. %D 1998 %I Prentice Hall %K %T Unifying theories of programming %V 14

@book{Hoare1998, added-at = {2010-12-02T22:49:11.000+0100}, author = {Hoare, C.A.R. and He, J.}, biburl = {https://www.bibsonomy.org/bibtex/295f3e2b2a295587eef693cf51ea42254/tasawer}, interhash = {e4be0af098d6012a98ba7a1ed14829bc}, intrahash = {95f3e2b2a295587eef693cf51ea42254}, keywords = {}, publisher = {Prentice Hall}, timestamp = {2010-12-02T22:49:11.000+0100}, title = {Unifying theories of programming}, volume = 14, year = 1998 }