A specificational approach to high level program monitoring and measuring,” (1992)

by Y Liao, D Cohen
Venue:IEEE Trans. Software Eng.,