STRUCTURED PROGRAMMING AND FORMAL SPECIFICATION.NOONAN RE.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 4; PP. 421-425; BIBL. 12 REF.Article

A COMPARISON OF THE AXIOMATIC AND FUNCTIONAL MODELS OF STRUCTURED PROGRAMMINGBASILI VR; NOONAN RE.1980; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1980; VOL. 6; NO 5; PP. 454-465; BIBL. 12 REF.Article

A TESTING TOOL FOR A FIRE-CONTROL ENVIRONMENT.BASILI VR; NOONAN RE.1976; IN: COMPCON'76 FALL. COMPUT... BY MILLIONS FOR MILLIONS. IEEE COMPUT. SOC. INT. CONF. 13. DIG. PAPERS; WASHINGTON, D.C.; 1976; LONG BEACH, CALIF.; IEEE COMPUTER SOC.; DA. 1976; PP. 341-345; BIBL. 4 REF.Conference Paper

COMPREHENSIVE TOOLS FOR ASSEMBLER CONSTRUCTIONCOLLINS WR; NOONAN RE; GREGORY ST et al.1983; SOFTWARE, PRACTICE AND EXPERIENCE; ISSN 0038-0644; GBR; DA. 1983; VOL. 13; NO 5; PP. 447-451; BIBL. 8 REF.Article