Rachid Sijelmassi Philip Gaudette An Object-Oriented Model for Estelle. 91-105 1988 conf/forte/1988 FORTE db/conf/forte/forte1988.html#SijelmassiG88