  An Abelian gauge theory describing dynamics of massive spin one bosons is
constructed. This is achieved by appending to the Maxwell action, a gauge
invariant mass term. The theory is quantised in temporal as well as Lorentz
gauge, and the corresponding Hilbert spaces are constructed. In both the
gauges, it is found that, the theory respects Lorentz invariance, locality,
causality and unitarity.
