Roberto Barbuti Alberto Martelli A Structured Approach to Static Semantics Correctness. 279-311 1983 3 Sci. Comput. Program. 3 db/journals/scp/scp3.html#BarbutiM83