Publications by 'J. M. E. Hyland'