An Integrated Development Environment for Declarative Multi-Paradigm Programming. - Michael Hanus; Johannes Koj (WLPE, 2001)