A Rigorous Semantics for BPMN 2.0 Process Diagrams - Kossak, Felix; Freudenthaler, Bernhard; Geist, Verena; Illibauer, Christa; Kopetzky, Theodorich; Kubovy, Jan; Natschläger, Christine; Schewe, Klaus-Dieter; Ziebermayr, Thomas (Springer International Publishing, 2014)