Cita APA (7th ed.)
Fuhs, C., Kop, C., & Nishida, N. (Feb 25, 2017). Verifying Procedural Programs via Constrained Rewriting Induction. arXiv.org.
Cita Chicago (17th ed.)
Fuhs, Carsten, Cynthia Kop, i Naoki Nishida. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org Feb 25, 2017.
Cita MLA (9th ed.)
Fuhs, Carsten, et al. "Verifying Procedural Programs via Constrained Rewriting Induction." ArXiv.org, Feb 25, 2017.
Atenció: Aquestes cites poden no estar 100% correctes.