@article{CSIS_2011_8_2_a9,
     author = {Andreas Speck and Sven Feja and S\"oren Witt and Elke Pulverm\"uller and Marcel Schulz},
     title = {Formalizing {Business} {Process} {Specifications}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {8},
     number = {2},
     year = {2011},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a9/}
}