Anthony Lo Richard Lai Integrating Estelle and ASN.1 for Automatic Implementation. 155-169 1993 conf/forte/1993 FORTE db/conf/forte/forte1993.html#LoL93