Shapiro, Lespérance, Levesque, 2002. The cognitive agents specification language and verification environment for multiagent systems, in: . ACM Press.. https://doi.org/10.1145/544741.544746