Semiautomatic Implementation of Protocols Using an Estelle-C Compiler. - Son T. Vuong; Allen C. Lau; R. Isaac Chan (IEEE Trans. Software Eng., 1988)