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.

Abstract

Abstract is missing.