Introduction to logic design - yanushkevich, Svetlana N and Shmerko, Vlad P (CRC press, 2008)