参考文献

Padwa; Harring; Hertzog; Nadler Synthesis, 1994 , # 9 p. 993 - 1004