Reasoning about Recursively Defined Data Structures.

Derek C. Oppen

Browse the full POPL paper archive.