Paper  bibtex   

@incollection{ shapiro02,
  author    = {Steven Shapiro and Yves Lespérance and Hector J. Levesque and Christiano Castelfranchi and W. L. Johnson},
  title     = {The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems},
  booktitle   = {Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)},
  key   = {CogRobo},
  pages   = {19--26},
  url   = {aamas02.pdf} ,
  year   = {2002}
}