The construction of heavy quark effective field theory HQEFT is extend
ed to arbitrary order in both expansion parameters alpha(s) and 1/m(q)
. Matching conditions are discussed for the general case, and it is ve
rified that this approach correctly reproduces the infrared behavior o
f full QCD. Choosing a renormalization scheme in the full theory fixes
the renormalization scheme in the effective theory except for the sca
le of the heavy quark field. Explicit formulas are given for the effec
tive Lagrangian, and one-loop matching renormalization constants are c
omputed for the operators of order 1/m(q). Finally, the multiparticle
sector of HQEFT is considered.