Reasoning about Recursively Defined Data Structures

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

Abstract

Abstract is missing.