Niels Lohmann, Karsten Wolf: How to Implement a Theory of Correctness in the Area of Business Processes and Services. BPM 2010: 61-77