Gordon J. PaceBooksControlled Natural LanguageMathematics of Discrete Structures for Computer ScienceRuntime VerificationMathematics of Discrete Structures for Computer ScienceAuthor data: Open Library