Automatic Proof of Graph Nonisomorphism. - Arjeh M. Cohen; Jan Willem Knopper; Scott H. Murray (Math. Comput. Sci., 2008)

Interactive mathematical videos. - Hans Cuypers; Jan Willem Knopper (CICM Workshops, 2013)