Analysis and Verification of Multiple-Agent Languages   
ed by Mads Dam 
 - Berlin  Springer 
 - Lecture notes in computer science .
<br/><br/><label>Dewey Class. No.: </label>004  /