Theoretical Aspects of Computer Software International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings Hagiya Masami Heftet / 1994 / Engelsk