@book{174217, author = {Hinchey, Michael G. and SpringerLink (Online service)}, title = {Formal Approaches to Agent-Based Systems}, publisher = {Springer Berlin Heidelberg,}, year = {2005.}, series = {Lecture Notes in Computer Science,}, address = {Berlin, Heidelberg :}, url = {http://dx.doi.org/10.1007/b105317} }