COMPUTABILITY IN CATEGORIESSMYTH MB.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 609-620; BIBL. 30 REF.Conference Paper

POWER DOMAINS.SMYTH MB.1978; J. COMPUTER SYST. SCI.; U.S.A.; DA. 1978; VOL. 16; NO 1; PP. 23-36; BIBL. 2 REF.Article

UNIQUE-ENTRY GRAPHS, FLOWCHARTS, AND STATE DIAGRAMS. = GRAPHES A ENTREE UNIQUE, ORGANIGRAMMES ET DIAGRAMMES D'ETATSMYTH MB.1974; INFORM. AND CONTROL.; U.S.A.; DA. 1974; VOL. 25; NO 1; PP. 20-29; BIBL. 7 REF.Article

ALGEBRAIC SPECIFICATION OF DATA TYPES: A SYNTHETIC APPROACHLEHMANN DJ; SMYTH MB.1981; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1981; VOL. 14; NO 2; PP. 97-139; BIBL. 43 REF.Article