E-dart : um ambiente de especificação e-lotos - Granville, Lisandro Zambenedetti (1998)