Rhys S. Francis. Containment Defines a Class of Recursive Data Structures. SIGPLAN Notices, 18(4):58-64, 1983.
@article{Francis83, title = {Containment Defines a Class of Recursive Data Structures}, author = {Rhys S. Francis}, year = {1983}, tags = {data-flow}, researchr = {https://researchr.org/publication/Francis83}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {18}, number = {4}, pages = {58-64}, }