APA-referens (7:e uppl.)

Ong, C., Ramsay, S., & ACM. (2011). Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types.

Chicago-referens (17:e uppl.)

Ong, C., S. Ramsay, och ACM. Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types. 2011.

MLA-referens (9:e uppl.)

Ong, C., et al. Verifying Higher-Order Functional Programs with Pattern-Matching Algebraic Data Types. 2011.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.