Satish M. Thatte, Jacob A. Abraham: Test Generation for Microprocessors. IEEE Trans. Computers 29(6): 429-441 (1980)