Jelke van der Pal, Tessa Eysink. Balancing situativity and formality: the importance of relating a formal language to interactive graphics in logic instruction.
Learning and Instruction, Elsevier, 1999, 9 (4), pp.327-341.
⟨10.1016/S0959-4752(98)00050-4⟩.
⟨hal-00197363⟩