Formalisations and Applications of BPMN - Wong, P; Gibbons, J (Science of Computer Programming, 2011)