CTL FOR TEST INF. OF DIGITAL ICs - KAPUR,R. (KLUWER ACAD., 2003)