3 works on record
Hagenberg Business Process Modelling Method
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Innovations in Enterprise Information Systems Management and Engineering
