Παραπομπή σε μορφή APA (7η εκδ.)

Berardi, S., & Tatsuta, M. (2012). Internal models of system F for decompilation. Theoretical Computer Science, 435, 3. https://doi.org/10.1016/j.tcs.2012.02.022

Παραπομπή σε μορφή Chicago (17η εκδ.)

Berardi, Stefano, και Makoto Tatsuta. "Internal Models of System F for Decompilation." Theoretical Computer Science 435 (2012): 3. https://doi.org/10.1016/j.tcs.2012.02.022.

Παραπομπή σε μορφή MLA (9th εκδ.)

Berardi, Stefano, και Makoto Tatsuta. "Internal Models of System F for Decompilation." Theoretical Computer Science, vol. 435, 2012, p. 3, https://doi.org/10.1016/j.tcs.2012.02.022.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.