3 works on record
Mathematics of Discrete Structures for Computer Science
Controlled Natural Language
Runtime Verification