Science of Computer Programming, Volume 21

Volume 21, Number 1, August 1993

Volume 21, Number 2, October 1993

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

Volume 21, Number 3, December 1993