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 Orlando Pereda An approach for evaluating formal description techniques. 421-438 1985 conf/pstv/1985 PSTV db/conf/pstv/pstv1985.html#AhtiainenACDDFHJKMMPP85