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