共 7 条
[2]
GEORGE PL, 1992, MODULEF3 INRIA US GU
[4]
MITCHELL WF, 1988, UIUCDCSR881436 U ILL
[7]
SEWELL EG, 1972, THESIS PURDUE U W LA