Title: Selected papers of the Conference on Theoretical Aspects of Computer Software (TACS '91), 24-27 September 1991, Sendai, Japan