Software design techniques for large ADA systems - Byrne, William E (Digital Press, 1991)