Mark Wallace Joachim Schimpf ECLiPSe: Declarative Specification and Scaleable Implementation. 365-366 1999 conf/padl/1999 PADL http://link.springer.de/link/service/series/0558/bibs/1551/15510365.htm db/conf/padl/padl99.html#WallaceS99