A formal pattern language for refactoring of Lisp programs | IEEE Conference Publication | IEEE Xplore