Publications by 'J. R. J. Lee'