Formalizing Business Process Specifications Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller; Marcel Schulz — 2011 Computer Science and Information Systems