Persona

Monografia (1989) Semantica denotazionale ed algebrica dei linguaggi di programmazione