1. Lecture Notes in Artificial Intelligence;N. Alechina,2004
2. Aviation Safety Network: Aircraft accident description McDonnell Douglas DC-10-40 JA8546 - off Shizuoka Prefecture (2001), http://aviation-safety.net/database/record.php?id=20010131-2
3. Bennett, B., Dixon, C., Fisher, M., Hustadt, U., Franconi, E., Horrocks, I., de Rijke, M.: Combinations of Modal Logics. AI Review 17, 1–20 (2002)
4. Damm, W., Hungar, H., Olderog, E.-R.: Verification of Cooperating Traffic Agents. International Journal of Control 79, 395–421 (2006)
5. Bereaved and Counselors of Shigaraki Accident (ed.): Shigaraki Kougen Railway Accident, Gendaijinbunsha (in Japanese) (2005)