Muffy Thomas A translator for ASN.1 into LOTOS. 37-52 1992 conf/forte/1992 FORTE db/conf/forte/forte1992.html#Thomas92