Dageförde, Jan Christoph; Dageförde, Jan C.; Dageförde, Jan: An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language. 2020