THE COMPUTER SCIENCE DEPARTMENT OF CMU
Li Zongge
. 1985, (8504): 40 -43 .