Specification and Refinement of a Message Router.

H. Conrad Cunningham Yinxiu Cai Specification and Refinement of a Message Router. 20-29 1993 conf/iwssd/1993 IWSSD db/conf/iwssd/iwssd1993.html#CunninghamC93