Checking microcode algebraically
Foster, J. M.
Malvern Royal Signals and Radar Establishment
1984
Computer programs