Representation of distributive lattices