Successful acquisition of certifiable application systems (or: How not to shake hands with the tar baby). - Judith N. Froscher; John P. McDermott; Christian N. Payne; Herman Otto Lubbes (ACSAC, 1990)

Informal top-level specifications for trusted application systems. - John P. McDermott; Judith N. Froscher; Christian N. Payne; Herman Otto Lubbes (ACSAC, 1990)

On models for a trusted application system. - Christian N. Payne; Judith N. Froscher; John P. McDermott (ACSAC, 1990)