A calculus for a class of finitely degenerate pseudodifferential operators

For a class of degenerate pseudodifferential operators, local parametrices are constructed. This is done in the framework of a pseudodifferential calculus upon adding conditions of trace and potential type, respectively, along the boundary on which the operators degenerate.