Formalisation Based on Understanding. - Maria Manuela Marques; Dag Belsnes; Malachy Murphy (FORTE, 1993)