Schwartz, Richard L. "Aliasing among pointers in EUCLID" Inf. Process. Lett. 9, 2 (Aug. 1979), pp76-79.
(1979)
Languages mentioned
Euclid
{1977} Verifiable system software language