-ESOP 86. Proceedings, Springer-Verlag 1986. Edited by B. Robinet and R. Wilhelm. VI, 374 pages, 1986