zbMATH — the first resource for mathematics

Computing in systems described by equations. (English) Zbl 0421.68038
Lecture Notes in Computer Science. 58. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 111 p. (1977).

68Q65 Abstract data types; algebraic specification
68N01 General topics in the theory of software
03B40 Combinatory logic and lambda calculus
08B05 Equational logic, Mal’tsev conditions