ON OBSERVATIONAL EQUIVALENCE AND ALGEBRAIC SPECIFICATION

[1] Barwise J., 1973, STUDIES MODEL THEORY, V8, P5

[2] Barwise K. J., 1974, ANN MATH LOGIC, V7, P221

[3] BAUER FL, 1981, TUMI8104 TU MUNCH RE

[4] BURSTALL RM, 1980, 1980 C REC LISP C, P136

[5] BURSTALL RM, 1982, 1981 P MARKT NATO SU

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

[7] An unsolvable problem of elementary number theory [J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363

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

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

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

[1] Barwise J., 1973, STUDIES MODEL THEORY, V8, P5

[2] Barwise K. J., 1974, ANN MATH LOGIC, V7, P221

[3] BAUER FL, 1981, TUMI8104 TU MUNCH RE

[4] BURSTALL RM, 1980, 1980 C REC LISP C, P136

[5] BURSTALL RM, 1982, 1981 P MARKT NATO SU

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

[7] An unsolvable problem of elementary number theory [J]. AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 : 345 - 363

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

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

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