An approach for evaluating formal description techniques. - Ari Ahtiainen; S. Alfonzetti; V. Chari; Mats Daniels; Michel Diaz; Alberto Faro; Hans A. Hansson; Guy Juanole; Ulla Karjalainen; Gesualdo Le Moli; Juhani Malka; Sergio Palazzo; et al. (PSTV, 1985)