Functional Representation And Program Debugging | IEEE Conference Publication | IEEE Xplore