db/journals/jacm/Oppen80.html Derek C. Oppen Reasoning About Recursively Defined Data Structures. 403-411 1980 27 J. ACM 3 http://doi.acm.org/10.1145/322203.322204 db/journals/jacm/jacm27.html#Oppen80