TACS '94, Sendai-han, Japan, Hagiya, M., & Mitchell, J. C. (1994). Theoretical aspects of computer software: International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationTACS '94, Sendai-han, Japan, Masami Hagiya, and John C. Mitchell. Theoretical Aspects of Computer Software: International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.
MLA (8th ed.) CitationTACS '94, Sendai-han, Japan, et al. Theoretical Aspects of Computer Software: International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : Proceedings. Springer-Verlag, 1994.
Warning: These citations may not always be 100% accurate.