Monografia (1987) TAPSOFT '87 : proceedings of the International joint conference on theory and practice of software development : Pisa, Italy, March 23–27, 1987Monografia (1989) Semantica denotazionale ed algebrica dei linguaggi di programmazione
Geca 3.0 - go to homepage
