Some abbreviations added.