Mohamed Bettaz An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols. 11-30 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#Bettaz90