Specifying and verifying multiagent systems using the cognitive agents specification language (CASL)by Steven ShapiroWriting a summary for young readers…For young readersBook data: Open Library