Kp. Closing the Gap Between Formal and Digital Libraries of Mathematics / Jeremy Gow and Paul Cairns // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 249-263

UCL Interaction Centre Departments of Psychology and Computer Science, 1.08.2017 http://www0.cs.ucl.ac.uk/staff/j.gow/old-index.html