Robert L. Probert: Optimal Insertion of Software Probes in Well-Delimited Programs. IEEE Trans. Software Eng. 8(1): 34-42 (1982)