共 5 条
[1]
BIRKHOFF G, 1967, AM MATH SOC C PUBL, V25
[2]
Chin L.H., 1951, U CALIFORNIA PUBLICA, V1, P341
[3]
Hoare C. A. R., 1986, Fundamenta Informaticae, V9, P217