Joaquin Aguado Michael Mendler Constructive semantics for instantaneous reactions. 16-31 2005 conf/galop/2005 GALOP db/conf/galop/galop2005.html#AguadoM05