James W. Winchester, Gerald Estrin. Requirements definition and its interface to the SARA design methodology for computer-based systems. In American Federation of Information Processing Societies: 1982 National Computer Conference, 7-10 June, 1982, Houston, Texas, USA. Volume 51 of AFIPS Conference Proceedings, pages 369-379, AFIPS Press, 1982. [doi]
Abstract is missing.