Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. Association for Computing Machinery (ACM).
Citação do estilo Chicago (17ª ed.)Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
Citação MLA (9ª ed.)Proceedings of the 2003 ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.