附注:
x, 191 p. :
由:
Lecture notes in computer science ;
继承.
由:
LNCS sublibrary.
继承.
著者:
Beckert, Bernhard.
著者:
H?hnle, Reiner.