附注:
xii, 392 p. : 
由:
Lecture notes in computer science,  继承.
著者:
Rensink, Arend.
著者:
Warmer, Jos B.