附注:
viii, 659 p. : 
著者:
Broy, M.,