附注:
xi, 581 p. :
由:
Lecture notes in computer science,
继承.
著者:
Larsen, K. G.
著者:
Nielsen, M.