Title: Formal design specification of a processor interface unit
Subjects: Electronic data processing