Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
On-Campus Access Only (IP based access)