APA
Leavens G. T., Association for Computing Machinery & ACM Special Interest Group on Programming Languages. (2012). Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software. New York, NY: ACM.
Chicago
Leavens Gary T, Association for Computing Machinery and ACM Special Interest Group on Programming Languages. 2012. Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software. New York, NY: ACM.
Harvard
Leavens G. T., Association for Computing Machinery and ACM Special Interest Group on Programming Languages. (2012). Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software. New York, NY: ACM.
MLA
Leavens Gary T, Association for Computing Machinery and ACM Special Interest Group on Programming Languages. Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software. New York, NY: ACM. 2012.