Thomason. Modeling the Beliefs of Other Agents. Springer US, 2000, doi:10.1007/978-1-4615-1567-8_17.