APA

Felty A., Association for Computing Machinery-Digital Library, . (2014). Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages Theory and Practice. New York, NY: ACM.

Chicago

Felty Amy, Association for Computing Machinery-Digital Library, . 2014. Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages Theory and Practice. New York, NY: ACM.

Harvard

Felty A., Association for Computing Machinery-Digital Library, . (2014). Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages Theory and Practice. New York, NY: ACM.

MLA

Felty Amy, Association for Computing Machinery-Digital Library, . Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages Theory and Practice. New York, NY: ACM. 2014.