Automated Verification of Microprograms (1976)

by W H Joyner, G B Leeman, W C Carter
Venue:Technical Report, IBM Thomas J. Watson Research Center