Proving memory management invariants for a language based on linear logic (1992)

by J Chirimar, C A Gunter, J G Riecke
Venue:In ACM Conference on Lisp and Functional Programming