-P. D. Mosses et al. (Eds.): TAPSOFT '95: Theory and Practice of Software Development. Proceedings 1995, Springer-Verlag 1995