附注:
[16] ，981 p. :
由:
图灵原版计算机科学系列
继承.
著者:
Jinmei, Tatuya,
著者:
Shima, Keiichi,