Mihhail Matskin Riina Maigre Enn Tyugu Compositional Logical Semantics for Business Process Languages. 38 2007 ICIW http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.24 conf/iciw/2007 db/conf/iciw/iciw2007.html#MatskinMT07