Andreas Rossberg Didier Le Botlan Guido Tack Thorsten Brunklaus Gert Smolka Alice through the looking glass. 79-95 2004 conf/sfp/2004 Trends in Functional Programming db/conf/sfp/tfp2004.html#RossbergBTBS04