Reasoning about Recursively Defined Data Structures

Derek C. Oppen. Reasoning about Recursively Defined Data Structures. In POPL. pages 151-157, 1978.

Possibly Related Publications

The following publications are possibly variants of this publication: