Saillard, R. (2015). Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association.
Citazione stile Chigago Style (17a edizione)Saillard, Ronan. Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association, 2015.
Citatione MLA (9a ed.)Saillard, Ronan. Rewriting Modulo β in the λΠ-Calculus Modulo. Open Publishing Association, 2015.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.