Science of Computer Programming, Volume 37

Volume 37, Number 1-3, May 2000