参考文献

http://mono.kmc.gr.jp/~oxy/d/?date=20090323#p01

http://www.cs.uta.fi/~helmu/pubs/psc02.pdf