Nguyen Huu Chien: EBE: a language for specifying the expected behavior of programs during debugging. In: Acta cybernetica, (8) 2. pp. 177-190. (1987)