Bernd Brassel Michael Hanus Frank Huch Germán Vidal A semantics for tracing declarative multi-paradigm programs. 179-190 2004 conf/ppdp/2004 PPDP http://doi.acm.org/10.1145/1013963.1013984 db/conf/ppdp/ppdp2004.html#BrasselHHV04