Wim H. Hesselink. Initialisation with a Final Value, an Exercise in Program Transformation. In Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Volume 375 of Lecture Notes in Computer Science, pages 273-280, Springer, 1989.
@inproceedings{Hesselink89:0,
title = {Initialisation with a Final Value, an Exercise in Program Transformation},
author = {Wim H. Hesselink},
year = {1989},
tags = {transformation, program transformation},
researchr = {https://researchr.org/publication/Hesselink89%3A0},
cites = {0},
citedby = {0},
pages = {273-280},
booktitle = {Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings},
editor = {Jan L. A. van de Snepscheut},
volume = {375},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51305-1},
}