Foundations of Computer Science
ISBN-13: 9780273014379