Christian Creveuil Gruia-Catalin Roman Formal Specification and Designof a Message Router. 271-307 1994 3 ACM Trans. Softw. Eng. Methodol. 4 db/journals/tosem/tosem3.html#CreveuilR94 http://doi.acm.org/10.1145/201024.201026