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