Usando contratos para construir sistemas de software - Galasini, Marcelo; Vega, Ítalo Santiago (Simpósio de Iniciação Científica da Universidade de São Paulo, 1997)