liao, Yingsha Cohen, Donald <br/><br/>
A Specificational Approach to High Level Program Monitoring and Measuring 

 - 969-978 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic Programmaing<br/>Instrumentation<br/>Program Trans Formations