Eerke Boiten, Helmuth Partsch, Daniel Tuijnman, Norbert Völker. How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations. Comput. J., 35(6):547-554, 1992.
@article{BoitenPTV92,
title = {How to Produce Correct Software - An Introduction to Formal Specification and Program Development by Transformations},
author = {Eerke Boiten and Helmuth Partsch and Daniel Tuijnman and Norbert Völker},
year = {1992},
tags = {transformation, program transformation},
researchr = {https://researchr.org/publication/BoitenPTV92},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {35},
number = {6},
pages = {547-554},
}