Rigorous Semantics for BPMN 2.0 Process Diagrams - e-bok, Engelska, 2015