Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings - Hagiya, Masami, 1957-; Mitchell, John C. (Lecture notes in computer science, 1994)