Marvin V. Zelkowitz Role of Verification in the Software Specification Process. 43-109 1993 36 Advances in Computers db/journals/ac/ac36.html#Zelkowitz93