Relative Fontaine-Laffaille Theory over Power Series Rings

Let k be a perfect field of characteristic p > 2. We extend the equivalence of categories between Fontaine-Laffaille modules and Z_p lattices inside crystalline representations with Hodge-Tate weights at most p-2 of Fontaine to the situation where the base ring is the power series ring in d variables over the ring of Witt vectors of k.