The most notable books by Stephen J. Machin, populated from OpenLibrary.