「形式手法入門」P22「2.1.3 抽象データの表現と解析」 ref: http://qiita.com/kencoba/items/15197b19d15ebfd557ed