Abstraction mechanisms and language design
Hilfinger, Paul N.
Cambridge, Mass. London MIT Press
c1983
Bibliography: p169-173. - Includes index
Ada (Computer program language)