TOWARD FORMAL DEVELOPMENT OF PROGRAMS FROM ALGEBRAIC SPECIFICATIONS - IMPLEMENTATIONS REVISITED

[1] ALGEBRAIC IMPLEMENTATIONS PRESERVE PROGRAM CORRECTNESS [J]. SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (01) : 35 - 53

[2] PARTIAL ABSTRACT TYPES [J]. ACTA INFORMATICA, 1982, 18 (01) : 47 - 64

[3] BURSTALL RM, 1977, 5TH P INT JOINT C AR

[4] Burstall Rod M., 1980, LECTURE NOTES COMPUT, V86, P292

[5] TESTING EQUIVALENCES FOR PROCESSES [J]. THEORETICAL COMPUTER SCIENCE, 1984, 34 (1-2) : 83 - 133

[6] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES [J]. JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227

[7] EHRICH HD, 1981, SPRINGER LNCS, V118

[8] EHRIG H, 1982, THEOR COMPUT SCI, V20, P209, DOI 10.1016/S0304-3975(82)80001-7

[9] EHRIG H, 1985, EATCS MONOGRAPHS THE

[10] EHRIG H, 1983, LECT NOTES COMPUT SC, V154, P188

[1] ALGEBRAIC IMPLEMENTATIONS PRESERVE PROGRAM CORRECTNESS [J]. SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (01) : 35 - 53

[2] PARTIAL ABSTRACT TYPES [J]. ACTA INFORMATICA, 1982, 18 (01) : 47 - 64

[3] BURSTALL RM, 1977, 5TH P INT JOINT C AR

[4] Burstall Rod M., 1980, LECTURE NOTES COMPUT, V86, P292

[5] TESTING EQUIVALENCES FOR PROCESSES [J]. THEORETICAL COMPUTER SCIENCE, 1984, 34 (1-2) : 83 - 133

[6] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES [J]. JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227

[7] EHRICH HD, 1981, SPRINGER LNCS, V118

[8] EHRIG H, 1982, THEOR COMPUT SCI, V20, P209, DOI 10.1016/S0304-3975(82)80001-7

[9] EHRIG H, 1985, EATCS MONOGRAPHS THE

[10] EHRIG H, 1983, LECT NOTES COMPUT SC, V154, P188