Cita APA (7a ed.)

Association for Computing Machinery. (2016). LFMTP 2016: Proceedings of the eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal. The Association for Computing Machinery.

Cita Chicago Style (17a ed.)

Association for Computing Machinery. LFMTP 2016: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal. New York, New York: The Association for Computing Machinery, 2016.

Cita MLA (9a ed.)

Association for Computing Machinery. LFMTP 2016: Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice : Porto, Portugal. The Association for Computing Machinery, 2016.