APA (7th ed.) Citation

TACS 2001 Sendai-shi, Miyagi-ken, Japan, SpringerLink (Online service), Kobayashi, N., & Pierce, B. C. (2001). Theoretical aspects of computer software: 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings. Springer.

Chicago Style (17th ed.) Citation

TACS 2001 Sendai-shi, Miyagi-ken, Japan, SpringerLink (Online service), Naoki Kobayashi, and Benjamin C. Pierce. Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : Proceedings. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

TACS 2001 Sendai-shi, Miyagi-ken, Japan, et al. Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : Proceedings. Springer, 2001.