Steve Reeves, David Streader. Comparison of Data and Process Refinement. In Jin Song Dong, Jim Woodcock, editors, Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings. Volume 2885 of Lecture Notes in Computer Science, pages 266-285, Springer, 2003. [doi]
@inproceedings{ReevesS03,
title = {Comparison of Data and Process Refinement},
author = {Steve Reeves and David Streader},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2885&spage=266},
tags = {refinement, data-flow},
researchr = {https://researchr.org/publication/ReevesS03},
cites = {0},
citedby = {0},
pages = {266-285},
booktitle = {Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings},
editor = {Jin Song Dong and Jim Woodcock},
volume = {2885},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20461-X},
}