A. Senderovich, S. Leemans, S. Harel, A. Gal, A. Mandelbaum, and {. Aalst. Business Process Management Workshops,
International Workshop on Business Process Intelligence (BPI 2015), volume 256 of Lecture Notes in Business Information Processing, page 154--166. Springer-Verlag, Berlin, (2016)
D. Harel, H. Kugler, and A. Pnueli. Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, page 309--324. Springer-Verlag, Berlin, (2005)
D. Harel. Springer, Berlin, (2003)Aus dem Englischen von Markus Junker. Englische
Originalausgabe: Computers---what they really can't
do. Oxford University Press, 2000.