Title: Verification of S*(QM-1) microprograms
Subjects: Microprogramming