附注:	xv, 576 p. :
由:	Lecture notes in computer science, 继承.
著者:	Dolev, Shlomi.