Ada Abstraction, Generation, Verification. - Jonathan A. Turner; Thomas L. Hill (TRI-Ada, 1993)