Stehrand Talcott. Plan in Maude Specifying an Active Network Programming Language. Elsevier BV, 2004, doi:10.1016/s1571-0661(05)82538-1.