Ruiz, D., & Villaret, M. (2009). TILC: The Interactive Lambda-Calculus Tracer. ENTCS: Electronic Notes in Theoretical Computer Science, 248, 173-183. https://doi.org/10.1016/j.entcs.2009.07.067
ISO-690 (author-date, English)RUIZ, David und VILLARET, Mateu, 2009. TILC: The Interactive Lambda-Calculus Tracer. ENTCS: Electronic Notes in Theoretical Computer Science. 5 August 2009. Vol. 248, , p. 173-183. DOI 10.1016/j.entcs.2009.07.067.
Modern Language Association 9th editionRuiz, D., und M. Villaret. „TILC: The Interactive Lambda-Calculus Tracer“. ENTCS: Electronic Notes in Theoretical Computer Science, Bd. 248, August 2009, S. 173-8, https://doi.org/10.1016/j.entcs.2009.07.067.
Mohr Siebeck - Recht (Deutsch - Österreich)Ruiz, David/Villaret, Mateu: TILC: The Interactive Lambda-Calculus Tracer, ENTCS: Electronic Notes in Theoretical Computer Science 2009, 173-183.
Emerald - HarvardRuiz, D. und Villaret, M. (2009), „TILC: The Interactive Lambda-Calculus Tracer“, ENTCS: Electronic Notes in Theoretical Computer Science, Vol. 248, S. 173-183.