Peter Dybjer Andrzej Filinski Normalization and Partial Evaluation. 137-192 2000 conf/ac/2000appsem APPSEM http://link.springer.de/link/service/series/0558/bibs/2395/23950137.htm db/conf/ac/appsem2000.html#DybjerF00