Thomas P. Jensen. Axiomatising Uniform Properties of Recursive Data Structures. In WSA. pages 144-151, 1992.
@inproceedings{Jensen92:0,
title = {Axiomatising Uniform Properties of Recursive Data Structures},
author = {Thomas P. Jensen},
year = {1992},
tags = {data-flow},
researchr = {https://researchr.org/publication/Jensen92%3A0},
cites = {0},
citedby = {0},
pages = {144-151},
booktitle = {WSA},
}