Éva Szabó István Forgács Chris Bates Innes Jelly A New Language for Automatic Data Generation. 221-222 1996 conf/acpc/1996 ACPC db/conf/acpc/acpc1996.html#SzaboFBJ96