Ismail Khalil Ibrahim Gabriele Kotsis Reinhard Kronsteiner Substitution Rules for the Verification of Norm-Compliance in Electronic Institutions. 21-26 2004 conf/wetice/2004 WETICE http://doi.ieeecomputersociety.org/10.1109/ENABL.2004.60 db/conf/wetice/wetice2004.html#IbrahimKK04