The formal transformation approach to source code analysis and manipulation | IEEE Conference Publication | IEEE Xplore