LINUS: an experiment in language preprocessing. - John D. Woolley; Leland R. Miller; Charles M. Bernstein (ACM SIGPLAN Notices, 1976)

Experience with Exxon's implementation of the Jackson program design method (Abstract of presentation). - Charles M. Bernstein (AFIPS National Computer Conference, 1978)