Proceedings of the Steklov Institute of Mathematics; 233:1-63 [2001]