Pierre Flener Kung-Kiu Lau Mario Ornaghi On Correct Program Schemas. 128-147 1997 conf/lopstr/1997 LOPSTR http://link.springer.de/link/service/series/0558/bibs/1463/14630128.htm db/conf/lopstr/lopstr97.html#FlenerLO97