参考文献

Harrison, Charles R.; Hodge, Philip Synthesis, 1980 , # 4 p. 299 - 301