Tapsoft '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, Uk, April 8-12, 1991: LNCS, Vol. 494 (Lecture Notes in Computer Science)