Anish Mathuria. Using a Formal Technique for Protocol Idealization: A Cautionary Note. In 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2-6 September 2002, Aix-en-Provence, France. pages 468-472, IEEE Computer Society, 2002. [doi]