@mastersthesis{mastersthesis7350522c,
title   = {Simdec: ambiente de analise para sistemas discretos},
author = {Vega, Ítalo Santiago and José Neto, João},
year = {1993},
school = {Universidade de São Paulo}
}