Use of a list processing language in programming simplification procedures | IEEE Conference Publication | IEEE Xplore