TITLE     : Gedblog: a multi-theories deductive environment to specify graphical interfaces
AUTHOR(S) : Aquilino D, Asirelli P, Inverardi P
TYPE      : Conference article
YEAR      : 1994
CODE      : 409394

*** DO NOT EDIT THIS FILE ***