Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
ACM Digital Library