A Semantic Model of Reference Counting and its Abstraction (1986)

by Paul Hudak
Venue:In Proceedings ACM Conference on Lisp and Functional Programming