Nguyen, Huu Chien. 1987. “EBE: A Language for Specifying the Expected Behavior of Programs During Debugging”. Acta Cybernetica 8 (2), 177-90. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3330.