Containment Defines a Class of Recursive Data Structures

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},
}