APA

Brosgol B., Association for Computing Machinery, ACM Special Interest Group on Computer Science Education, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Applied Computing & ACM Special Interest Group on Programming Languages. (2012). Proceedings of the 2012 ACM conference on High integrity language technology. New York, NY: ACM.

Chicago

Brosgol Ben, Association for Computing Machinery, ACM Special Interest Group on Computer Science Education, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Applied Computing and ACM Special Interest Group on Programming Languages. 2012. Proceedings of the 2012 ACM conference on High integrity language technology. New York, NY: ACM.

Harvard

Brosgol B., Association for Computing Machinery, ACM Special Interest Group on Computer Science Education, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Applied Computing and ACM Special Interest Group on Programming Languages. (2012). Proceedings of the 2012 ACM conference on High integrity language technology. New York, NY: ACM.

MLA

Brosgol Ben, Association for Computing Machinery, ACM Special Interest Group on Computer Science Education, ACM Special Interest Group on Computers and Society, ACM Special Interest Group on Embedded Systems, ACM Special Interest Group on Ada Programming Language, ACM Special Interest Group on Applied Computing and ACM Special Interest Group on Programming Languages. Proceedings of the 2012 ACM conference on High integrity language technology. New York, NY: ACM. 2012.