The most notable books by Xiaochun Yun, populated from OpenLibrary.