APA Citation

Kobayashi, N., & Pierce, B. C. (2001). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings (1st ed. 2001.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Kobayashi, Naoki, and Benjamin C. Pierce. Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.

MLA Citation

Kobayashi, Naoki, and Benjamin C. Pierce. Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001. Proceedings. 1st ed. 2001. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.