Arithmetic, Logic, Syntax and MathCheck. - Antti Valmari; Johanna Rantala (CSEDU (2), 2019)