%0 Book %1 dijkstra_90_predicate %A Dijkstra, Edsger W. %A Scholten, Carel S. %C New York, NY, USA %D 1990 %I Springer-Verlag New York, Inc. %K 1990 %T Predicate calculus and program semantics %U http://portal.acm.org/citation.cfm?id=77545 %@ 0387969578

@book{dijkstra_90_predicate, added-at = {2009-02-12T00:08:56.000+0100}, address = {New York, NY, USA}, author = {Dijkstra, Edsger W. and Scholten, Carel S.}, biburl = {https://www.bibsonomy.org/bibtex/2b415fb704a4c87dd8c0d0caeff2da89a/leonardo}, citeulike-article-id = {557033}, interhash = {ab7f203610fb09bc81189a8ddb9a5a3e}, intrahash = {b415fb704a4c87dd8c0d0caeff2da89a}, isbn = {0387969578}, keywords = {1990}, posted-at = {2008-12-16 20:23:14}, priority = {2}, publisher = {Springer-Verlag New York, Inc.}, timestamp = {2009-02-12T00:08:56.000+0100}, title = {Predicate calculus and program semantics}, url = {http://portal.acm.org/citation.cfm?id=77545}, year = 1990 }