Peter D. Mosses Mogens Nielsen Michael I. Schwartzbach TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings TAPSOFT Lecture Notes in Computer Science 915 Springer 1995 3-540-59293-8 db/conf/tapsoft/tapsoft95.html