Some notations added and minor changes