Hilfinger, Paul N. "Abstraction Mechanisms and Language Design", MIT Press, 1983.
(1983)
Languages mentioned
Ada with maps
{1982}