Science of Computer Programming, Volume 55

Volume 55, Number 1-3, March 2005