ON THE DESIGN OF ALGEBRAIC DATA STRUCTURES WITH THE APPROACH OF ABSTRACT DATA TYPESAUSIELLO G; MASCARI GF.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; NO 72; PP. 514-530; BIBL. 2 P.Conference Paper

A PRACTICAL EXAMPLE OF THE SPECIFICATION OF ABSTRACT DATA TYPESTOMPA FW.1980; ACTA INFORMAT.; DEU; DA. 1980; VOL. 13; NO 3; PP. 205-224; BIBL. 20 REF.Article

USING TYPE-EXTENSION TO ORGANIZE VIRTUAL-MEMORY MECHANISMSJANSON PA.1981; OPER. SYST. REV.; ISSN 0163-5980; USA; DA. 1981; VOL. 15; NO 4; PP. 6-38; BIBL. 22 REF.Article

IMPLEMENTING A COMPILER-BASED TEST TOOLMCMULLIN PR; GANNON JD; WEISER MD et al.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 10; PP. 971-979; BIBL. 6 REF.Article

DESCRIBING SOFTWARE DESIGN IN ADABOOCH G.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 9; PP. 42-47; BIBL. 6 REF.Article

AN EXPERIENCE IN IMPLEMENTING ABSTRACT DATA TYPESBANATRE M; COUVERT A; HERMAN D et al.1981; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1981; VOL. 11; NO 3; PP. 315-320; BIBL. 11 REF.Article

TUNING ALGEBRAIC SPECIFICATIONS BY TYPE MERGINGLAUT A; PARTSCH H.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 283-304Conference Paper

DATA ABSTRACTIONS FOR DATABASE SYSTEMSLOCKEMANN PC; MAYR HC; WEIL WH et al.1979; A.C.M. TRANS. DATABASE SYST.; USA; DA. 1979; VOL. 4; NO 1; PP. 60-75; BIBL. 18 REF.Article

ABSTRAKTE DATENTYPEN = TYPES DE DONNEES ABSTRAITSZOLLER P.1981; ANGEW. INFORM.; ISSN 0013-5704; DEU; DA. 1981; NO 10; PP. 429-431; ABS. ENG; BIBL. 6 REF.Article

HIGHER ORDER DATA TYPESMAIBAUM TSE; LUCENA CJ.1980; INTERNATION. J. COMPUTER INFORM. SCI.; USA; DA. 1980; VOL. 9; NO 1; PP. 31-53; BIBL. 20 REF.Article

ABSTRACT OBJECTS AS ABSTRACT DATA TYPESGERSTMANN H; OLLONGREN A.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 439-450; BIBL. 9 REF.Conference Paper

LOGICAL AND PHYSICAL DATA TYPES IN GEOGRAPHICAL INFORMATION SYSTEMSBURTON W.1979; GEO. PROCESSING; NLD; DA. 1979; VOL. 1; NO 2; PP. 167-181; BIBL. 2 P.Article

ON THE ALGEBRAIC EXTENSIONS OF ABSTRACT DATA TYPESBROY M; WIRSING M.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 107; PP. 244-251; BIBL. 21 REF.Conference Paper

ABSTRACT DATA TYPES AND DATA BASESPAOLINI P.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 1; PP. 171-173Conference Paper

ON PROVING INDUCTIVE PROPERTIES OF ABSTRACT DATA TYPESMUSSER DR.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 154-162; BIBL. 2 P.Conference Paper

TERMINAL ALGEBRA SEMANTICS AND RETRACTIONS FOR ABSTRACT DATA TYPESHORNUNG G; RAULEFS P.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 310-323; BIBL. 18 REF.Conference Paper

ON COMPATIBILITY MEASURES FOR ABSTRACT DATA TYPESSUBRAHMANYAM PA; KIEBURTZ RB.1978; CONFERENCE ON INFORMATION SCIENCES AND SYSTEMS. 12/1978-03-29/BALTIMORE; USA; BALTIMORE: JOHNS HOPKINS UNIVERSITY; DA. 1978; PP. 310-315; BIBL. 12 REF.Conference Paper

LE CYCLE BINAIRE POUR CENTRALE ELECTRIQUE A REFRIGERATION SECHE = BINARY CYCLE FOR DRY COOLING POWER PLANTJAUMOTTE AL; GAIVAO A.1983; REVUE GENERALE DE THERMIQUE; ISSN 0035-3159; FRA; DA. 1983; VOL. 22; NO 255; PP. 263-280; ABS. ENG; BIBL. 12 REF.Article

ALGORITHMIC SPECIFICATIONS OF ABSTRACT DATA TYPESLOECKK J.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 129-147; BIBL. 3 P.Conference Paper

SAFE PROCEDURAL IMPLEMENTATIONS OF ALGEBRAIC TYPESLAUT A.1980; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1980; VOL. 11; NO 4-5; PP. 147-151; BIBL. 14 REF.Article

DIRECT IMPLEMENTATION OF ALGEBRAIC SPECIFICATION OF ABSTRACT DATA TYPESABHA MOITRA.1982; IEEE TRANS. SOFTW. ENG.; ISSN 0098-5589; USA; DA. 1982; VOL. 8; NO 1; PP. 12-20; BIBL. 10 REF.Article

VERIFYING ABSTRACT DATA TYPES WITH SNOBOL4FLECK AC.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 7; PP. 627-640; BIBL. 13 REF.Article

PROCEDURAL SPECIFICATIONS AND IMPLEMENTATIONS FOR ABSTRACT DATA TYPESPURTADO AL; VELOSO PAS.1981; SIGPLAN NOT.; ISSN 0362-1340; USA; DA. 1981; VOL. 16; NO 3; PP. 53-62; BIBL. 11 REF.Article

TYPE TRANSFORMATIONSWILE DS.1981; I.E.E.E. TRANS. SOFTWARE ENGNG; USA; DA. 1981; VOL. 7; NO 1; PP. 32-39; BIBL. 20 REF.Article

ABSTRACT DATA TYPES AND DATA BASESPAOLINI P.1980; WORKSHOP ON DATA ABSTRACTION, DATABASES AND CONCEPTUAL MODELLING/1980/PINGREE PARK CO; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1980; PP. 171-173Conference Paper