On the scope of static checking in definitional languages. - Boleslaw K. Szymanski; Noah S. Prywes; Evan D. Lock; Amir Pnueli (ACM Annual Conference, 1984)

Use of Model VHLL in Software Development and Maintenance. - Evan D. Lock; Boleslaw K. Szymanski; Noah S. Prywes (COMPCON, 1984)

Use of Very High Level Languages and Program Generation by Management Professionals. - Thomas T. Cheng; Evan D. Lock; Noah S. Prywes (IEEE Trans. Software Eng., 1984)

Automatic abstraction of real-time software and re-implementation in Ada. - Noah S. Prywes; Evan D. Lock; Xiang Ge (TRI-Ada, 1991)

Requirements on Ada Reengineering Technology from Past, Present and Future Systems. - Evan D. Lock; Noah S. Prywes (TRI-Ada, 1992)

Software process reengineering: Toward a new generation of CASE technology. - Judith D. Ahrens; Noah S. Prywes; Evan D. Lock (J. Syst. Softw., 1995)

A Generalized Methodology for Evaluating and Optimizing System Design Factors. - Jaffar Rehman; Evan D. Lock; Cuong Nguyen (ICECCS, 1996)