Petulante, Nelson R (1986) On the vanishing of the Iwasawa invariant [lambda] for totally real fields. Masters thesis, Concordia University.