Publications by authors named "R Timman"