TY - BOOK AU - O'Donnell,Michael J. TI - Lecture notes in computer science SN - 0387085319 (pbk.) U1 - 001.6 PY - 1977/// CY - Berlin PB - Springer Verlag KW - Interpreters (computer programs) KW - Equations N1 - Programming languages (Electronic computers); Bibliography : p. 109-111; Computing in systems described by equations ER -