Derek C. Oppen. Reasoning About Recursively Defined Data Structures. Journal of the ACM, 27(3):403-411, 1980. [doi]
@article{Oppen80:0, title = {Reasoning About Recursively Defined Data Structures}, author = {Derek C. Oppen}, year = {1980}, tags = {data-flow, C++}, researchr = {https://researchr.org/publication/Oppen80%3A0}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {27}, number = {3}, pages = {403-411}, }