附注:
x, 444 p. :
由:
Lecture notes in computer science,
继承.
著者:
Esparza, Javier.
著者:
Lakos, Charles.