John Domingue Software Visualization Based KBS Validation. 1995 conf/eurovav/1995 EUROVAV db/conf/eurovav/eurovav1995.html#Domingue95 129-139