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

by P Hudak
Venue:Abstract Interpretation of Declarative Languages