A Storage Allocation Method with Invalidating Dangling References. - Jerzy R. Nawrocki; J. Martinek (Inf. Process. Lett., 1987)