Luca Aceto (auth.), S. Abramsky, T. S. E. Maibaum (eds.)

TAPSOFT ’91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991