Jha, N. K. Testing of Digital Systems - Cambridge Cambridge University Press 2003 - xvi, 1000p. ISBN: 978-0-521-77356-0