2011

Haasteet ja mahdollisuudet tietokonetuetussa matematiikan opetuksessa (Sallasmaa, P., Mannila, L., Peltomäki, M., Salakoski, T., Salmela, P. and Back, R-J, OPTEK ensitulosjulkaisu, 2011)

2010

"It Takes Me Longer, but I Understand Better" – Student Feedback on Structured Derivations (Back, R-J., Mannila, L. and Wallin, S., International Journal of Mathematical Education in Science and Technology, Vol. 41, No. 5, pp. 575-593)

Structured Derivations: a Unified Proof Style for Teaching Mathematics. (Back R-J., Formal Aspects of Computing, 22(5), pp. 629-661)

Strukturerade härledningar i matematikundervisningen (Mannila, L. and Back, R-J. , Arkhimedes, No. 6, pp. 24-34)

Strukturerade härledningar ökar förståelsen (Mannila, L., Nämnaren, No. 3, pp. 18-25)

Writing Mathematics on the Computer Starting at Upper-Secondary Level (Peltomäki, M. and Mannila, L., ICL2010: 13th International Conference on Interactive Computer Aided Learning. Hasselt, Belgium. September 2010)

2009

Student Justifications in High School Mathematics (Mannila, L., Wallin, S. and Back, R-J., CERME 6: Sixth Conference of European Research in Mathematics Education. Lyon, France, January-February, 2009)

An Empirical Evaluation of Structured Derivations in High School Mathematics (Peltomäki, M., and Back, R-J., ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education. Taipei, Taiwan, May 2009)

Promoting Students’ Justification Skills Using Structured Derivations (Mannila, L. and Wallin, S., ICMI 19: 19th ICMI Study Conference on Proof and Proving in Mathematics Education. Taipei, Taiwan, May 2009)

Rakenteiset päättelyketjut matematiikan opetuksessa (Peltomäki, M., Dimensio, No. 5, pp. 20-22)

Teaching Mathematics and Programming – New Approaches with Empirical Evaluation (Mannila, L. Phd Thesis, November 2009)

2008

Structured Derivations: a Logic Based Approach to Teaching Mathematics (Back, R-J., Mannila, L., Peltomäki, M. and Sibelius, P., FORMED08, Budapest, March 2008)

1997 – 2007

Refinement Calculus: A Systematic Introduction. Chapters introducing the format (PDF): 3, 4, 6, 7 (Book by Back and von Wright, 1998)

Structured Calculation Proof (Back R-J., Grundy, J. and von Wright, J., 1997)

Structured Derivations: a Method for Doing High-School Mathematics Carefully (Back, R-J. and von Wright, J, 1999)

Field Tests of the Structured Derivations Method (Back, R-J., Sjöberg, M. and von Wright, J., 2002)

Structured Derivations Supporting High-School Mathematics (Back, R-J., Peltomäki, M., Salakoski, T. and von Wright, J., 2004)

Teaching High-School Mathematics with Structured Derivations in Hypertext Format (Back, R-J., Kavander, T., Nylund, M., Peltomäki, M., Salakoski, T. and von Wright, J., 2002)

Matemaattinen todistaminen ja abstrahtointi lukion matematiikan opetuksessa – opetuskokeilu rakenteisten johtojen avulla (Back, R-J., Kavander, T., Nylund, M., Peltomäki, M., Salakoski, T. and von Wright, J., 2002)