Psycharis, G. (2015). Formalising functional dependencies: The potential of technology. In K. Krainer & Vondrová, N. (Eds.), Proceedings of the Ninth Congress of the European Society for Research in Mathematics Education (CERME 9) (pp. 2388-2395). Charles University, Prague.