Topics in the Theoretical Bases and Applications of Computer Science : proceedings of the 4th Hungarian Computer Science Conference Gyor, Hungary, July 8-10, 1985 - Arató, M. (Akadémiai Kiadó, 1986)