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