- Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, editors, Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Volume 3228 of Lecture Notes in Computer Science, Springer, 2005.