附注:
xxii, 554 p. :
由:
Cambridge tracts in theoretical computer science ;
继承.
著者:
Rijke, Maarten de.
著者:
Venema, Yde,