"Simple Network Protocol Simulation within Maude."

Ian A. Mason, Carolyn L. Talcott (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics