Deduction Systems door Rolf Socher-Ambrosius & Patricia Johann