JM Valk, JFM Tonino, A Bos, C Witteveen (1999), Automated theorem proving for the KARO-architecture, In ESSLLI 99 p.1-13, s.n..

JFM Tonino (1999), Editorship, M Boasson, JA Kaandorp, JFM Tonino, MG Vosselman (Eds.), In ASCI '99: proceedings p.1-468, Advanced School for Computing and Imaging.