David Hemmendinger
Wright State University, Dayton, OH
Parallel logic programming in PARLOG: the language and its implementation
Functional Programming
A Discipline of Programming