1. LNCS;S.M. Abramov,2000
2. LNCS;T. Amtoft,2002
3. Barker, S., Leuschel, M., Varea, M.: Efficient and flexible access control via Jones-optimal logic program specialization. Higher-Order Symb. Comput. 21(1–2), 5–35 (2008)
4. Bondorf, A.: Similix. 5.0 Manual. DIKU, University of Copenhagen, Denmark (1993). Included in the Similix distribution. http://www.diku.dk/forskning/topps/activities/similix.html , 82 pages
5. Bulyonkov, M.A.: Extracting polyvariant binding time analysis from polyvariant specializer. In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pp. 59–65. ACM Press, New York (1993)