1. G.Barzdin. Mixed Computation and Compiler Basis. In D.Bjorner, A.P.Ershov and N.D.Jones, editors, Partial Evaluation and Mixed Computation, pages 15–26, North-Holland, 1988.
2. L. Beckman, A. Haraldson, O. Oskarsson, E. Sandewall. A Partial Evaluator, and Its Use as a Programming Tool. Artificial Intelligence, 7(4):319–357, 1976.
3. M.A. Bulyonkov. Polyvariant Mixed Computation for Analyzer Programs. Acta Informatica, 21:473–484, 1984.
4. R.M. Burstall and J. Darlington. A Transformation System for Developing Recursive Programs. Journal of the ACM, 24(1):44–67, 1977.
5. J. Dixon. The Specializer, a Method of Automatically Writing Computer Programs. Division of Computer Research and Technology, National Institute of Health, Bethenda, Maryland, 1971.