附注:
x, 367 p. : 
由:
Lecture notes in computer science,  继承.
著者:
Hankin, Chris.
著者:
Siveroni, Igor.