1. Anttila, H., Back, R.-J., Ketola, P., Konkka, K., Leskela, J., and Rysa, E. (2002). Combining stepwise feature introduction with user-centric design. Technical Report 495, TUCS-Turku Centre for Computer Science, www.tucs.fi.
2. Mathematical Center Tracts;R.-J. Back,1980
3. Back, R.-J. (1988). A calculus of refinements for program derivations. Acta Informatica, 25:593–624.
4. Workshops in Computer Science;R. J. Back,1991
5. LNCS;R.-J. Back,2002