CTL for test information of digital ICs - Kapur, Rohit (Kluwer Academic Publishers, 2003)