Ellis Horowitz Ronald Williamson SODOS: A Software Documentation Support Environment - Its Definition. 849-859 1986 12 IEEE Trans. Software Eng. 8 db/journals/tse/tse12.html#HorowitzW86