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

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