PARADIGMS FOR DESIGN AND IMPLEMENTATION IN ADA. - Rajlich, Václav; Sibley, Edgar H. (Communications of the ACM, 1985)