Evaluation of Safety-Critical Software. - David Lorge Parnas; A. John van Schouwen; Shu Po Kwan (Commun. ACM, 1990)

A Formal Approach to Computer Systems Requirements Documentation. - Marcin Engel; Marcin Kubica 001; Jan Madey; David Lorge Parnas; Anders P. Ravn; A. John van Schouwen (Hybrid Systems, 1992)

Documentation of requirements for computer systems. - A. John van Schouwen; David Lorge Parnas; Jan Madey (RE, 1993)