Veronika Thurner Formal fundierte Modellierung von Geschäftsprozessen. 360-362 2005 47 it - Information Technology 6 http://dx.doi.org/10.1524/itit.2005.47.6.360 db/journals/it/it47.html#Thurner05