Title: Formal Methods in Digital Design
Subjects: Computer science, Electronic digital computers, design and construction