CITATION STYLE
Gries, D., & Schneider, F. B. (1993). Predicates and Programming. In A Logical Approach to Discrete Math (pp. 179–194). Springer New York. https://doi.org/10.1007/978-1-4757-3837-7_11
Mendeley helps you to discover research relevant for your work.