-M. Weber/M. Simons/Ch. Lafontaine: The Generic Development Language DEVA, Springer-Verlag 1993