Mayr,Ernst W. Lectures on proof verification and approximation algorithms / Mayr,Ernst W. - Berlin: Springer, 1998. - xii,344p;26cm - Lecture notes in computer science,No-1367 . Includes bibliographical references. ISBN: 3540642013 Dewey Class. No.: 005.1 MAY