Simdecambiente de análise para sistemas discretos. - Vega, Ítalo Santiago (1993)