International symposium on Theoretical aspects of computer software :Sendai, Japan, Kobayashi, N., & Pierce, B. C. Theoretical aspects of computer software : ; proceedings: 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)International symposium on Theoretical aspects of computer software :Sendai, Japan, Naoki Kobayashi, και Benjamin C. Pierce. Theoretical Aspects of Computer Software : ; Proceedings: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Berlin [etc.]: Springer.
Παραπομπή σε μορφή MLA (8th εκδ.)International symposium on Theoretical aspects of computer software :Sendai, Japan, et al. Theoretical Aspects of Computer Software : ; Proceedings: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Springer.