Reasoning about recursively defined data structures (1980)

by Derek C Oppen
Venue:J. ACM