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.