DEBL: A Knowledge-Based Language for Specifying and Debugging Programs. - Wan-Hong S. Cheng; Virgil Wallentine (ACM Conference on Computer Science, 1989)

DEBL: A Knowledge-Based Language for Specifying and Debugging Distributed Programs. - Wan-Hong S. Cheng; Virgil Wallentine (Commun. ACM, 1989)