1. Apple Pascal Reference Manual
2. Validation, verification, and testing of computer software;Adrion;ACM Computing Surveys,1982
3. High-level language monitoring: Design concepts and case study;Burkhart,1984
4. M. GOOSSENS Real-time high-level language debugging tools. PhD dissertation. Brussels Free University (VUB)