解説
[1] 中島 震, 鵜林 尚靖, "Alloy: 自動解析可能なモデル規範形式仕様言語," 日本ソフトウェア科学会誌 コンピュータソフトウェア, volume 26, number 3, pages 78-83, 2009年.