Charles Consel Siau-Cheng Khoo On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. 461-500 1995 5 J. Funct. Program. 4 db/journals/jfp/jfp5.html#ConselK95 http://dx.doi.org/10.1017/S0956796800001453