1. Asahi, T. (2009). Simcast: Model theory approach for simulation. Keiei Ronshu (Journal of Business Administration, Toyo University), 73, 33–51. Permalink: id.nii.ac.jp/1060/00004563/
2. Asahi, T. (2011). Model theory approach for simulation: Development procedure of autonomous distributed systems. Keiei Ronshu, 78, 177–188. Permalink: id.nii.ac.jp/1060/00004454
3. Asahi, T. (2012). Simulation model of interaction in two-body dynamical systems. Keiei Ronshu, 80, 31–38. Permalink: id.nii.ac.jp/1060/00004502/
4. Asahi, T. (2013). Formal models of connected systems in model theory approach. Keiei Ronshu, 82, 101–112. Permalink: id.nii.ac.jp/1060/00006348/
5. Asahi, T. (2014). Definition of defList in model description language CAST. Keiei Ronshu, 84, 41–50. Permalink: id.nii.ac.jp/1060/00006878/