Mathematical Foundations of Computer Science 1986 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings by Juraj Wiedermann | Menrva Books | MenrvaBooks