C. Creveuil and G. Roman. Formal specification and design of a message router. ACM Transactions on Software Engineering Methodology, 3(4):271-307, 1994.
author author author author author title title title title title title title title journal journal journal journal journal journal pages date