SMS: TAPSOFT '91 : proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds.