Title: An introduction to discrete mathematics and formal system specification
First published: 1988
Subjects: Mathematics, Computer science, System design
LC classification: QA76.9.M35 I53 1988