Processes, Terms and Cycles: Steps on the Road to Infinity - Middeldorp, Aart; Kanade, Takeo; Oostrom, Vincent; Raamsdonk, Femke; Vrijer, Roel; van Oostrom, Vincent; van Raamsdonk, Femke; de Vrijer, Roel (Springer Berlin / Heidelberg, 2005)