H. Conrad Cunningham, Yinxiu Cai: Specification and Refinement of a Message Router. IWSSD 1993: 20-29