Mathematical Foundations of Computer Science 1986: Proceedings of the 12th Symposium Bratislava, Czechoslovakia August 25–29, 1986
Gruska, Jozef ; Rovan, Branislav ; Wiedermann, Juraj Gruska, Jozef ; Rovan, Branislav ; Wiedermann, Juraj
Berlin, Heidelberg: Springer Berlin Heidelberg 1986
Texto completo disponível