Sava Krstic John Matthews Semantics of the <i>reFL<sup>ect</sup></i> language. 32-42 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013971 db/conf/ppdp/ppdp2004.html#KrsticM04