Juliane Dehnert Peter Rittgen Relaxed Soundness of Business Processes. 157-170 2001 conf/caise/2001 CAiSE http://link.springer.de/link/service/series/0558/bibs/2068/20680157.htm db/conf/caise/caise2001.html#DehnertR01