發送短信: Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds.