A semantic model of reference counting and its (1987)

by P Hudak
Venue:Abstract Interpretation of Declarative Languages, Ellis Horwood Ltd