The most notable books by Jos C. M. Baeten, populated from OpenLibrary.