Reference counting as a computational interpretation of linear logic (1996)

by Jawahar Chirimar, Carl A Gunter, Jon G Riecke
Venue:Journal of Functional Programming