Modular Verification of Ada Generics. - George W. Ernst; Raymond J. Hookway; James A. Menegay; William F. Ogden (Comput. Lang., 1991)