The Method to Visualize the Domain-Oriented Explanation of Program's Behaviors. - Fumihiko Anma; Taketoshi Ando; Ryoji Itoh; Tatsuhiro Konishi; Yukihiro Itoh (ICCE, 2002)