A. Bucci Paola Inverardi Simone Martini An `Executable' Impredicative Semantics for the Ada Configuration. 91-120 1993 5 Formal Asp. Comput. 2 db/journals/fac/fac5.html#BucciIM93