The most notable books by Haijian Sun, populated from OpenLibrary.