GHOSH, Abhijit - DEVADAS, Srinivas - NEWTON, A.Richard. Sequential logic testing and verification. Boston : Kluwer Academic Publishers, 1992. 214 s. ISBN 0-7923-9188-8. E*