I don't know, what's the question. It's a bit strange to work in the canonical formalism and expect a manifestly Poincare covariant formulation. There's no simple way to achieve a manifestly covariant Hamiltonian formulation already in classical relativistic physics (mechanics and field theory). That's why it's easier to use the path-integral formalism, which very often leads to a formulation in terms of the Lagrange formalism, which is manifestly covariant, and this leads to manifestly covariant Feynman rules for the (connected) n-point Green's functions, which however are not observables.
Observables are S-matrix elements, describing the transition-probability rates for observing an asymptotic free final state, given the asymptotic free initial state (usually two colliding particles in HEP experiments). These are always manifestly covariant, provided you work with a local microcausal field theory. For the details, see the excellent treatment in Weinberg's vol. 1 (the first few chapters are sufficient).
It turns out that the S-matrix elements are indeed covariant objects, no matter whether you use the canonical (Hamiltonian) or the path-integral formalism, where already the connected n-point functions are manifestly covariant. The latter way is much more convenient to deal with in practice. For the path-integral formalism, see Bailin and Love, Gauge Theories.
My own try to explain QFT you can find here:
http://fias.uni-frankfurt.de/~hees/publ/lect.pdf