参考文献

Kraft, Philip; Frech, David; Mueller, Urs; Frater, Georg Synthesis, 2006 , # 13 p. 2215 - 2223