et al. Definition 1.1 of the generic development language DEVA (1989)

by M Sintzoff