Nguyen, H.C. 1987. EBE: a language for specifying the expected behavior of programs during debugging. Acta Cybernetica. 8, 2 (Jan. 1987), 177-190.