The book "Enveloping algebras" by Dixmier appears to contain some material on Harish-Chandra modules in the classical sense (i.e., with respect to the maximal compact subgroup) and also on Verma modules, though not on Harish-Chandra pairs or category "O".