Yingsha Liao Donald Cohen A Specificational Approach to High Level Program Monitoring and Measuring. 969-979 http://www.computer.org/tse/ts1992/e0969abs.htm 1992 18 IEEE Trans. Software Eng. 11 db/journals/tse/tse18.html#LiaoC92