Ludden, Geke D. S., Kelders, Saskia M., Snippert, Bas H. J. · Lecture Notes in Computer Science · 2014