Secure Ada Target: Issues, System Design, and Verification. - William Earl Boebert; R. Y. Kaln; William D. Young; S. A. Hansohn (S&P, 1985)