附注:
xii, 510 p. :
由:
Lecture notes in computer science,
继承.
著者:
Maher, Michael J.
著者:
Lassez, Jean-Louis.