John C. Knight

• Development of a software safety process and a case study of its use
• Pascal/48 reference manual