1. M. J. Foster, PhD. thesis, Carnegie-Mellon Univ., Pittsburgh, Pennsylvania (1984).
2. Syntax Directed Verification of Circuit Function;Foster,1981
3. S. I. Feldman, Proc. IEEE Int. Conf. Comput. Des., 652–655 (October, 1983).
4. T. J. Kowalski and D. E. Thomas, Proc. Des. Autom. Conf. 20th, IEEE, (June, 1983).
5. J. M. Siskind, J. R. Southard, and K. W. Crouch, Proc. Conf. Adv. Res. VLSI M. I. T., 28–40, (January, 1982).