Text this: Computer-aided logic design / Robert M. McDermott.