附注:
viii, 453 p. : 
由:
Lecture notes in computer science,  继承.
著者:
Bertrand, Gilles,
著者:
Imiya, Atsushi.
著者:
Klette, Reinhard.