Formalisations and Applications of BPMN (Science of Computer Programming, 2011)

(untitled) - Wong, P; Gibbons, J