Martin Wirsing, Jan A. Bergstra
Algebraic Methods: Theory, Tools and Applications - 1989 - Springer Berlin Heidelberg 1989 - Lecture Notes in Computer Science .
9783540467588
Computer Science
Algebraic Methods: Theory, Tools and Applications - 1989 - Springer Berlin Heidelberg 1989 - Lecture Notes in Computer Science .
9783540467588
Computer Science