001: 9519
003: Starlibrary PMS 4.5
005: 20180503
066: ^aPe.D
082: ^a005.1
100: ^aPeter Padawitz
240: ^aDeduction And Declarative Programming
245: ^aDeduction And Declarative Programming
260: ^aus ^b cabridge ^c92