1 expert in "logical foundations of software documentation" found: