Linear Logic. - Jules Desharnais; Bernard Hodgson; John Mullins (Relational Methods in Computer Science, 1997)

ICT's and secondary school mathematics - themes, visions and realities. - Bernard Hodgson; David C. Johnson; David Tinsley (Secondary School Mathematics in the World of Communication Technology, 1997)