Mathematical foundations of software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
The articles of this volume will be reviewed individually under the abbreviation ''Mathematical foundations of software development, Proc. Int. Conf., Berlin 1985, Vol. 1: Colloq. Trees in algebra and programming, Lect. Notes Comput. Sci. 185''.
scientific article