DATA TYPE SPECIFICATION: PARAMETERIZATION AND THE POWER OF SPECIFICATION TECHNIQUESTHATCHER JW; WAGNER EG; WRIGHT JB et al.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 711-732; BIBL. 26 REF.Article

ON THE ADEQUACY OF FINITE EQUATIONAL METHODS FOR DATA TYPE SPECIFICATIONBERGSTRA JA; TUCKER JV.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 11; PP. 13-18; BIBL. 10 REF.Article

ON THE POWER OF CONDITIONAL SPECIFICATIONSOREJAS F.1979; SIGPLAN NOT.; USA; DA. 1979; VOL. 14; NO 7; PP. 78-81; BIBL. 3 REF.Article

SPECIFICATIONS: FORMAL AND INFORMAL - A CASE STUDYGEHANI N.1982; SOFTW. PRACT. EXP.; ISSN 0038-0644; GBR; DA. 1982; VOL. 12; NO 5; PP. 433-444; BIBL. 15 REF.Article

A SIMPLE TRANSFER LEMMA FOR ALGEBRAIC SPECIFICATIONSBERGSTRA JA; MEYER JJC.1982; INF. PROCESS. LETT.; ISSN 0020-0190; NLD; DA. 1982; VOL. 14; NO 2; PP. 80-85; BIBL. 6 REF.Article

SMALL SPECIFICATIONS FOR LARGE FINITE DATA STRUCTURESBERGSTRA JA; MEYER JJC.1981; INT. J. COMPUT. MATH.; ISSN 0020-7160; GBR; DA. 1981; VOL. 9; NO 4; PP. 305-320; BIBL. 7 REF.Article

A DATA-DIRECTED APPROACH TO PROGRAM CONSTRUCTIONCOWAN DD; GRAHAM JW; WELCH JW et al.1980; SOFTWARE-PRACT. EXPER.; GBR; DA. 1980; VOL. 10; NO 5; PP. 355-372; BIBL. 8 REF.Article

AN APPROACH TO ABSTRACT SPECIFICATION BASED ON TRACES.CHESTER D.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 123-127; BIBL. 8 REF.Conference Paper

A FORMALIZED PROOF SYSTEM FOR TOTAL CORRECTNESS OF WHILE PROGRAMSBERGSTRA JA; KLOP JW.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 26-36; BIBL. 8 REF.Conference Paper

INITIAL ALGEBRA SPECIFICATIONS FOR PARAMETRIZED DATA TYPESBERGSTRA JA; KLOP JW.1981; STICHT. MATH. CENT. AFD. INFORM.; ISSN 0376-4028; NLD; DA. 1981; 186/81; 20 P.; BIBL. 10 REF.Serial Issue

A THREE-LEVEL APPROACH TO THE DESCRIPTION OF DATA STRUCTURES, AND NOTATIONAL FRAMEWORKMEYER B.1980; WORKSHOP ON DATA ABSTRACTION, DATABASES AND CONCEPTUAL MODELLING/1980/PINGREE PARK CO; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1980; PP. 164-166; BIBL. 10 REF.Conference Paper

LOGICAL STRUCTURE SPECIFICATION AND DATA TYPE DEFINITIONCLAYBROOK BG; CLEAVELAND JC; CRISCIONE D et al.1979; ACM 79. ASSOCIATION FOR COMPUTING MACHINERY. 1979 ANNUAL CONFERENCE/1979/DETROIT MI; USA; NEW YORK: ACM; DA. 1979; PP. 203-211; BIBL. 21 REF.Conference Paper

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

SPECIFYING SOFTWARE REQUIREMENTSYEH RT; ZAVE P.1980; PROC. IEEE; ISSN 0018-9219; USA; DA. 1980; VOL. 68; NO 9; PP. 1077-1085; BIBL. 37 REF.Article

AN APPROACH FOR CHOOSING A PROGRAMMING SPECIFICATION METHODOLOGYTEPLITZKY P.1979; COMPSAC 79. INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE. 3/1979/CHICAGO IL; USA; NEW YORK: IEEE; DA. 1979; PP. 128-135Conference Paper

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

FINAL DATA TYPES AND THEIR SPECIFICATIONKAMIN S.1980; RAPP RECH., INRIA; FRA; DA. 1980; NO 47; 31 P.; ABS. FRE; BIBL. 27 REF.Serial Issue

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

AN ABSTRACT SOFTWARE SPECIFICATION TECHNIQUE BASED ON STRUCTURAL RECURSIONKLAEREN HA.1980; SIGPLAN NOT.; USA; DA. 1980; VOL. 15; NO 3; PP. 28-34; BIBL. 13 REF.Article

LA PROGRAMMATION GENERIQUE: CONSTRUCTION DE LOGICIEL, SPECIFICATION ALGEBRIQUE ET VERIFICATIONBERT DIDIER.1979; ; FRA; DA. 1979; 201 P.; 21 CM; BIBL. 10 P.; TH.: SCIENCES, INFORM./GRENOBLE 1/1979Thesis

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

FINAL DATA TYPES AND THEIR SPECIFICATIONKAMIN S.1983; ACM TRANS. PROGRAM. LANG. SYST.; ISSN 0164-0925; USA; DA. 1983; VOL. 5; NO 1; PP. 97-121; BIBL. 40 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