Trakhtenbrot, The semantics of local storage, or what makes the free-list free (1984)

by J Y Halpern, A R Meyer, B A
Venue:In: Proc. 11th ACM Symp. Principles of Programming Languages (POPL’84