Translation of VHDL to Ada. - Carl F. Schaefer 001 (WADAS, 1987)

Static Analysis of Exception Handling in Ada. - Carl F. Schaefer 001; Gary N. Bundy (Softw. Pract. Exp., 1993)