Title: La semantica formale dei linguaggi di programmazione
Subjects: Linguaggi, Semantica, Elaboratori elettronici