Object Oriented Formal Specifications to Support Ada 95 Reuse. - Huiming Yu; Albert C. Esterline; Joseph Monroe (TRI-Ada, 1996)