APA

Pearce D. J., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering & ACM Special Interest Group on Programming Languages. (2014). Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

Chicago

Pearce David J, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. 2014. Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

Harvard

Pearce D. J., Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. (2014). Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM.

MLA

Pearce David J, Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering and ACM Special Interest Group on Programming Languages. Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. New York, NY: ACM. 2014.