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

by Jawahar Chirimar, Carl A Gunter, Jon G Riecke
Venue:In LISP and Functional Programming