ACTA INFORMATICA, VOL.22,1985-86 - BOUND VOLUME (SV BERLIN, 1986)