Zhou, Hao (2006) Effiziente Überprüfung semantischer Korrektheit in adaptiven Prozess-Management-Systemen. Diploma thesis, University of Ulm.