[1]
H. C. Nguyen, “EBE: a language for specifying the expected behavior of programs during debugging”, Acta Cybern, vol. 8, no. 2, pp. 177-190, Jan. 1987.