- Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr.:
Dependable Computing, First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2847, Springer 2003, ISBN 3-540-20224-2 [contents]