Maria Manuela Marques Dag Belsnes Malachy Murphy Formalisation Based on Understanding. 417-432 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#MarquesBM93