Trebovanija i specifikacii v razrabotke programm : sbornik statej. (Matematičeskoje obespečenije EVM, 1984)