TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)

Samson Abramsky T. S. E. Maibaum TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) TAPSOFT, Vol.1 Lecture Notes in Computer Science 493 Springer 1991 3-540-53982-4 db/conf/tapsoft/tapsoft91-1.html