Catherine Meadows Using a Declarative Language to Build an Experimental Analysis Tool. 1-2 2002 conf/padl/2002 PADL http://link.springer.de/link/service/series/0558/bibs/2257/22570001.htm db/conf/padl/padl2002.html#Meadows02