\input zb-basic
\input zb-ioport
\iteman{io-port 70485937}
\itemau{El Kharbili, Marwane; De Medeiros, Ana Karla A.; Stein, Sebastian; Van Der Aalst, Wil M. P.}
\itemti{Business process compliance checking: current state and future challenges}
\itemso{MobIS, 107-113 (2008).}
\itemcc{}
\itemut{}
\itemli{http://subs.emis.de/LNI/Proceedings/Proceedings141/article2310.html}
\end