Anne Elisabeth Haxthausen. Mutually Recursive Algebraic Domain Equations. In Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones, editors, VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Volume 328 of Lecture Notes in Computer Science, pages 299-317, Springer, 1988.
@inproceedings{Haxthausen88,
title = {Mutually Recursive Algebraic Domain Equations},
author = {Anne Elisabeth Haxthausen},
year = {1988},
tags = { algebra},
researchr = {https://researchr.org/publication/Haxthausen88},
cites = {0},
citedby = {0},
pages = {299-317},
booktitle = {VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings},
editor = {Robin E. Bloomfield and Lynn S. Marshall and Roger B. Jones},
volume = {328},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-50214-9},
}