Title: Rigorous System Design
Subjects: Computer input-output equipment, Computer software