Introduction to Logic Design. (1998)