Harel, David creator Kozen, Dexter Tiuryn, Jerzy New Delhi Prentice-Hall of India 2007 xv, 459p. 23cm. (Pbk) by David Harel, Dexter Kozen [and] Jerzy Tiuryn Includes index 004.0151 9788120331716 ENG-86229 DBAD / PUB