A Basis for Secure Systems Implementation Languages

Klaus-Peter Löhr. A Basis for Secure Systems Implementation Languages. In Hans-Jürgen Hoffmann, editor, Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses Programmiersprachen der GI, Darmstadt, 11.-12. März 1980, Proceedings. Volume 25 of Informatik-Fachberichte, pages 199-209, Springer, 1980.