Cita APA (7a ed.)

Chlipala, A. (2012). LFMTP'12: Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark. ACM.

Cita Chicago Style (17a ed.)

Chlipala, Adam. LFMTP'12: Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark. [Place of publication not identified]: ACM, 2012.

Cita MLA (9a ed.)

Chlipala, Adam. LFMTP'12: Proceedings of the ACM SIGPLAN Workshop on Logical Frameworks and Meta Languages, Theory and Practice : September 9, 2012, Copenhagen, Denmark. ACM, 2012.