Software Design Techniques for Large Ada Systems - Byrne, William E. (Digital Press, 1991)