Vangalur S. Alagar Maurice Nivat Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings AMAST Lecture Notes in Computer Science 936 Springer 1995 3-540-60043-4 db/conf/amast/amast95.html