以前やったときはこの辺を元にした。多分もっといい文献あるだろうけどそんときはこれで十分だったから調べてない。
http://cajun.cs.nott.ac.uk/compsci/epo/papers/volume6/issue3/ohno.pdf