En 1963 publicó "Musiques Formelles" (Música formalizada), posteriormente revisada, expandida y publicada en inglés como "Formalized Music: Thought and Mathematics in Composition " en 1971, y nuevamente ampliada y revisada para la segunda y definitiva edición de 1990; una colección de ensayos sobre sus ideas musicales y técnicas compositivas, considerada una de las contribuciones más importantes a la teoría de la música del siglo XX.