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% ακριβείς.