Latin American Symposium on Theoretical Informatics (1st 1992 São Paulo, Brazil)