Programacao com correcao e confiabilidade: eliminando efeitos prejudiciais - Cazarini, Edson Walmir (Cpd-Informa, 1989)