@incollection {riemsdijk10maude,
   author = {M.B. van Riemsdijk  and L. Astefanoaei and F.S. de Boer},
   title = {Using the Maude Term Rewriting Language for Agent Development with Formal Foundations},
   booktitle = {Specification and Verification of Multi-agent Systems},
   editor = {Mehdi Dastani and Koen V. Hindriks and John-Jules {\text{Ch}} Meyer},
   publisher = {Springer},
   isbn = {978-1-4419-6984-2},
   pages = {255-287},
   url = {http://dx.doi.org/10.1007/978-1-4419-6984-2_9},
   year = {2010}
}