A. John Power. An Algebraic Formulation for Data Refinement. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Volume 442 of Lecture Notes in Computer Science, pages 390-401, Springer, 1989.
@inproceedings{Power89,
title = {An Algebraic Formulation for Data Refinement},
author = {A. John Power},
year = {1989},
tags = {refinement, data-flow, algebra},
researchr = {https://researchr.org/publication/Power89},
cites = {0},
citedby = {0},
pages = {390-401},
booktitle = {Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings},
editor = {Michael G. Main and Austin Melton and Michael W. Mislove and David A. Schmidt},
volume = {442},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-97375-3},
}