Peter Padawitz

Peter Padawitz is the author of books such as Deductive and Declarative Programming.