Cita APA (7a ed.)

Weirich, S. (2013). DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. ACM.

Cita Chicago Style (17a ed.)

Weirich, Stephanie. DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. [Place of publication not identified]: ACM, 2013.

Cita MLA (9a ed.)

Weirich, Stephanie. DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. ACM, 2013.