Publications by 'R. A. Trompert'