Deductive and Declarative Programming door Peter Padawitz