Steven Shapiro. Specifying and verifying multiagent systems using the cognitive agents specification language (CASL). PhD thesis, University of Toronto, Canada, 2005. [doi]
@phdthesis{ca-615,
title = {Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)},
author = {Steven Shapiro},
year = {2005},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106199001206196},
researchr = {https://researchr.org/publication/ca-615},
cites = {0},
citedby = {0},
school = {University of Toronto, Canada},
}