Rinus Plasmeijer Peter Achten Pieter W. M. Koopman iTasks: executable specifications of interactive work flow systems for the web. 141-152 2007 conf/icfp/2007 ICFP http://doi.acm.org/10.1145/1291151.1291174 db/conf/icfp/icfp2007.html#PlasmeijerAK07