APA (7th ed.) Citation

Reig, F. (2006). Chapter 2: Generic Proofs for Combinator-based Generic Programs. Trends in Functional Programming Volume 5, 5, 17.

Chicago Style (17th ed.) Citation

Reig, Fermín. "Chapter 2: Generic Proofs for Combinator-based Generic Programs." Trends in Functional Programming Volume 5 5 (2006): 17.

MLA (9th ed.) Citation

Reig, Fermín. "Chapter 2: Generic Proofs for Combinator-based Generic Programs." Trends in Functional Programming Volume 5, vol. 5, 2006, p. 17.