Mathematical Foundations of Computer Science 1991: 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
Tarlecki, Andrzej Tarlecki, Andrzej
Berlin, Heidelberg: Springer Berlin Heidelberg 1991
Texto completo disponível