Enviar aquest missatge de text: Theoretical aspects of computer software : International Symposium TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds.