Title: An introduction to discrete mathematics and formal system specification
Subjects: Electronic data processing, Mathematics