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

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