Linguaggio e sistemi formali (Einaudi Paperbacks. Readers, 1974)