Werke:
- The topos of music : geometric logic of concepts, theory, and performance
- Comprehensive mathematics for computer scientists, 1.. Sets and numbers, graphs and algebra, logic and machines, linear geometry
- Comprehensive mathematics for computer scientists, 2.. Calculus and ODEs, splines, probability, Fourier and wavelet theory, fractals and neural networks, categories and lambda calculus
- Perspectives in mathematical and computational music theory