%0 Book %1 Back&vonWright1998 %A Back, R.-J. %A von Wright, J. %D 1998 %K refinement %T Refinement Calculus

@book{Back&vonWright1998, added-at = {2008-07-07T16:45:32.000+0200}, author = {Back, R.-J. and {von Wright}, J.}, biburl = {https://www.bibsonomy.org/bibtex/2c2d8f5179369cb6f35653b4271c72fa1/pdeleenh}, date-modified = {2007-09-26 10:32:21 +0200}, interhash = {dccd3dd0a66a234fbe6fde0e6bd8950a}, intrahash = {c2d8f5179369cb6f35653b4271c72fa1}, keywords = {refinement}, owner = {pdeleenh}, timestamp = {2008-07-07T16:45:56.000+0200}, title = {Refinement Calculus}, year = 1998 }