附注:
[10] , 272 p. : 
由:
图灵原版计算机科学系列  继承.
著者:
Linz, Tilo.
著者:
Schaefer, Hans.