%0 Journal Article %1 carrington_98_program %A Carrington, David %A Hayes, Ian %A Nickson, Ray %A Watson, G. %A Welsh, J. %D 1998 %J Formal Aspects of Computing %K 1998 refinement \_hardcopy tool \_pdf %N 2 %P 97--124 %R http://dx.doi.org/10.1007/s001650050006 %T A Program Refinement Tool %U http://dx.doi.org/10.1007/s001650050006 %V 10

@article{carrington_98_program, added-at = {2009-03-10T04:52:58.000+0100}, author = {Carrington, David and Hayes, Ian and Nickson, Ray and Watson, G. and Welsh, J.}, biburl = {https://www.bibsonomy.org/bibtex/26bd91056871b7084420ad5f873122ab5/leonardo}, citeulike-article-id = {771778}, doi = {http://dx.doi.org/10.1007/s001650050006}, interhash = {b86facb05f32f0597c5678fa77c43b2e}, intrahash = {6bd91056871b7084420ad5f873122ab5}, journal = {Formal Aspects of Computing}, keywords = {1998 refinement \_hardcopy tool \_pdf}, month = {February}, number = 2, pages = {97--124}, posted-at = {2006-07-24 22:34:22}, priority = {4}, timestamp = {2009-03-10T04:52:58.000+0100}, title = {A Program Refinement Tool}, url = {http://dx.doi.org/10.1007/s001650050006}, volume = 10, year = 1998 }