Stacs 2002: 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings
Alt, Helmut ; Ferreira, Afonso Alt, Helmut ; Ferreira, Afonso
Berlin, Heidelberg: Springer Berlin / Heidelberg 2002
Texto completo disponível