%0 Journal Article %1 journals/acta/Back88 %A Back, Ralph-Johan %D 1988 %J Acta Inf. %K dblp %N 6 %P 593-624 %T A Calculus of Refinements for Program Derivations. %U http://dblp.uni-trier.de/db/journals/acta/acta25.html#Back88 %V 25

@article{journals/acta/Back88, added-at = {2011-01-11T00:00:00.000+0100}, author = {Back, Ralph-Johan}, biburl = {https://www.bibsonomy.org/bibtex/279126f6206b0ccf8eb8352b1980f7043/dblp}, ee = {http://dx.doi.org/10.1007/BF00291051}, interhash = {9b637a29ecde37d45bda3d39355bfd47}, intrahash = {79126f6206b0ccf8eb8352b1980f7043}, journal = {Acta Inf.}, keywords = {dblp}, number = 6, pages = {593-624}, timestamp = {2011-01-12T11:31:51.000+0100}, title = {A Calculus of Refinements for Program Derivations.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta25.html#Back88}, volume = 25, year = 1988 }