Title: Verification oriented microprogramming language
Subjects: Microprogramming, Programming languages (Electronic computers)