APA

Association for Computing Machinery, . (2003). Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York, NY: ACM.

Chicago

Association for Computing Machinery, . 2003. Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York, NY: ACM.

Harvard

Association for Computing Machinery, . (2003). Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York, NY: ACM.

MLA

Association for Computing Machinery, . Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. New York, NY: ACM. 2003.