Piotr Dembinski Enumeration Protocol in Estelle: an exercise in stepwise development. 147-162 1998 conf/forte/1998 FORTE db/conf/forte/forte1998.html#Dembinski98