%0 Journal Article %1 journals/logcom/Banach03 %A Banach, Richard %D 2003 %J J. Log. Comput. %K dblp %N 2 %P 313-314 %T Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten. %U http://dblp.uni-trier.de/db/journals/logcom/logcom13.html#Banach03 %V 13

@article{journals/logcom/Banach03, added-at = {2011-06-29T00:00:00.000+0200}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/2e250745699572fef72feea9f6e5df940/dblp}, ee = {http://dx.doi.org/10.1093/logcom/13.2.313}, interhash = {24d07eb5c2da28927405cb267dec9cb1}, intrahash = {e250745699572fef72feea9f6e5df940}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {313-314}, timestamp = {2011-06-30T11:38:49.000+0200}, title = {Book Review: "Refinement in Z and object-Z: Foundations and Advanced Applications" by John Derrick and Eerke Boiten.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom13.html#Banach03}, volume = 13, year = 2003 }