A CASE AGAINST THE GOTOWULF WA.1972; IN: ASSOC. COMPUT. MACH. ANN. CONF. PROC. BOSTON, 1972; NEW YORK; ASSOC. COMPUT. MACH.; DA. 1972; VOL. 2; PP. 791-794; BIBL. 24 REF.Conference Proceedings

A SYSTEMS PROGRAMMING LANGUAGEWULF WA.1972; LECTURE NOTES ECON. MATH. SYST.; GERM.; DA. 1972; NO 75; PP. 14-42; BIBL. 9 REF.Serial Issue

RELIABLE HARDWARE-SOFTWARE ARCHITECTURE.WULF WA.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF. 1975; S.L.; DA. S.D.; PP. 122-130; BIBL. 6 REF.Conference Paper

COMPILERS AND COMPUTER ARCHITECTUREWULF WA.1981; COMPUTER; ISSN 0018-9162; USA; DA. 1981; VOL. 14; NO 7; PP. 41-47Article

ABSTRACT DATA TYPES: A RETROSPECTIVE AND PROSPECTIVE VIEWWULF WA.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 94-112; BIBL. 46 REF.Conference Paper

STRUCTURED PROGRAMMING IN THE BASIC LAYERS OF AN OPERATING SYSTEM.WULF WA.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 293-344; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

AN ARCHITECTURE FOR THE DYNAMIC OPTIMIZATION OF HIGH-LEVEL LANGUAGE PROGRAMSHARBISON SP; WULF WA.1980; INTERNATIONAL WORKSHOP ON HIGH-LEVEL LANGUAGE COMPUTER ARCHITECTURE/1980/FORT LAUDERDALE FL; USA; COLLEGE PARK MD: DEPARTMENT OF COMPUTER SCIENCE OF THE UNIVERSITY OF MARYLAND; DA. 1980; PP. 140-144; BIBL. 3 REF.Conference Paper

TOWARDS THE DESIGN OF SECURE SYSTEMS.JONES AK; WULF WA.1975; SOFTWARE-PRACT. EXPER.; G.B.; DA. 1975; VOL. 5; NO 4; PP. 321-336; BIBL. 6 REF.Article

TARTAN. LANGUAGE DESIGN FOR THE IRONMAN REQUIREMENT: NOTES AND EXAMPLESSHAW M; HILFINGER P; WULF WA et al.1978; SIGPLAN NOT.; USA; DA. 1978; VOL. 13; NO 9; PP. 59-75; BIBL. 2 REF.Article

AN INTRODUCTION TO THE CONSTRUCTION AND VERIFICATION OF ALPHARD PROGRAMS.WULF WA; LONDON RL; SHAW M et al.1976; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1976; VOL. 2; NO 4; PP. 253-265; BIBL. 41 REF.Article

A COMPARISON OF PROGRAMMING LANGUAGES FOR SOFTWARE ENGINEERINGSHAW M; ALMES GT; NEWCOMER JM et al.1981; SOFTWARE-PRACT. EXPER.; GBR; DA. 1981; VOL. 11; NO 1; PP. 1-52; BIBL. 13 REF.Article

VALIDATING THE UTILITY OF ABSTRACTION TECHNIQUESSHAW M; FELDMAN G; FITZGERALD R et al.1978; ACM 78. ASSOCIATION FOR COMPUTING MACHINERY. ANNUAL CONFERENCE/1978-12-4/WASHINGTON DC; USA; NEW YORK: THE ASSOCIATION FOR COMPUTING MACHINERY; DA. 1978; PP. 106-109; BIBL. 2 P.Conference Paper