附注:
xxxiv, 555-1181 p. : 
著者:
Ullman, Jeffrey D.,
著者:
Widom, Jennifer.