Semimodular Lattices: Theory And Applications (Encyclopedia Of Mathematics And Its Applications 73)