ISILC LOGIC CONFERENCE: PROCEEDINGS OF INTERNATIONAL SUMMER INST,1974 - MULLER,G.H (ED), OBERSCHELP,A (ED), POTTHOFF,K (ED) (SV BERLIN, 1975)