Michael Hanus Johannes Koj An Integrated Development Environment for Declarative Multi-Paradigm Programming. 2001 WLPE http://arxiv.org/abs/cs.PL/0111039 db/conf/lpe/wlpe2001.html#HanusK01