1. Mixed computation: Potential applications and problems for study;Ershov;Theoretical Computer Science,1982
2. Jones ND. Automatic program specialisation: A re-examination from basic principles In [46] 1988
3. Partial evaluation of computation process—an approach to a compiler–compiler;Futamura;Systems, Computers, Controls,1971
4. On the partial computation principle;Ershov;Information Processing Letters,1977
5. Partial computation of programs;Futamura,1982