A semantic model of reference counting and its abstraction (1986)

by P Hudak
Venue:In SIGPLAN Symposium on LISP and Functional Programming