H. J. Litteck, Peter J. L. Wallis. Refinement methods and refinement calculi. IEE Proceedings - Software, 7(3):219-229, 1992. [doi]
@article{LitteckW92,
title = {Refinement methods and refinement calculi},
author = {H. J. Litteck and Peter J. L. Wallis},
year = {1992},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=144804},
researchr = {https://researchr.org/publication/LitteckW92},
cites = {0},
citedby = {0},
journal = {IEE Proceedings - Software},
volume = {7},
number = {3},
pages = {219-229},
}