玉田和洋, 中川博之, 田原康之, 大須賀昭彦：モデル検査によるAjax アプリケーション検証, ウィンターワークショップ・イン・倉敷論文集 2010, Vol.2010, No.3, pp.139-140 (2010.1)．
