1. , , . Principles of compositional multi-agent system development. In: Cuena J, editor. Proc 15th IFIP World Computer Congress, WCC'98, Conference on Information Technology and Knowledge Systems, IT&KNOWS'98. Amsterdam: IOS Press; 1998. pp 347-360.
2. Semantic formalization of interactive reasoning functionality
3. Input/Output Logics
4. Constraints for Input/Output Logics
5. . Intention, plans, and practical reason. Cambridge, MA: Harvard University Press; 1987.