Specification and Refinement of a Message Router. - H. Conrad Cunningham; Yinxiu Cai (IWSSD, 1993)