Language design for program manipulation | IEEE Journals & Magazine | IEEE Xplore