TY  - SER
AU  - liao, Yingsha
AU  - Cohen, Donald
TI  - A Specificational Approach to High Level Program Monitoring and Measuring
KW  - Automatic Programmaing
KW  - Instrumentation
KW  - Program Trans Formations
ER  -