Imternational joint conference on theory and practice of software development (tapsoft) 1985 : MATHEMATICAL FOUNDATIONS OF SOFTWARE DEVELOPMENT: COLOQUIUM ON TREES IN ALGEBRA AND PROGRAMMING (CAAP'85). VOL. 1. (Springer Verlag, 1985)