  A manifestly covariant treatment of the free quantum eletromagnetic field, in
a linear covariant gauge, is implemented employing the Schwinger's Variational
Principle and the B-field formalism. It is also discussed the abelian Proca's
model as an example of a system without constraints.
