موسیقی فرمول بندی شده : افکار و ریاضیات در آهنگسازی (مطالعات در تئوری موسیقی)

کتاب “موسیقی فرمول بندی شده : افکار و ریاضیات در آهنگسازی” توسط آهنگساز، معمار و مهندس یونانی یانیس زناکیس نوشته شده است که در آن انگیزه، فلسفه و تکنیک خود برای ساخت آهنگ را با توابع تصادفی ریاضی توضیح می دهد. این کتاب در سال 1963 با عنوان “Musiques formelles: nouveaux principes formels de composition musicale” به صورت یک شماره ی مضاعف ویژه ی نشریه ی La Revue musicale در پاریس منتشر شد و نسخه ی بسط یافته ی آن در سال 1981 در پاریس توسط Stock Musique دوباره به چاپ رسید. این کتاب بعدها به زبان انگلیسی و با سه فصل اضافه ترجمه شد و در سال 1971 توسط Indiana University Press به چاپ رسید و در سال 1992 توسط Pendragon Press  دوباره منتشر شد با یک ویرایش دوم که در سال 2001 توسط Pendragon به چاپ رسید. این کتاب حاوی کد کامل برنامه ی فرترن (FORTRAN) برای یکی از برنامه های کامپیوتری اولیه ی ساخت موسیقی زناکیس GENDY است. این کتاب به عنوان یک کار پیشگامانه توصیف شده است.