A graphical representation and prototype editor for the Formal Description Technique Estelle.

Justin Templemore-Finlayson Pieter S. Kritzinger Jean-Luc Raffy Stanislaw Budkowski A graphical representation and prototype editor for the Formal Description Technique Estelle. 37-55 1998 conf/forte/1998 FORTE db/conf/forte/forte1998.html#Templemore-FinlaysonKRB98