Aspects of the derivative coupling model in four dimensions

A concise discussion of a 3+1-dimensional derivative coupling model, in which a massive Dirac field couples to the four-gradient of a massless scalar field, is given in order to elucidate the role of different concepts in quantum field theory like the regularization of quantum fields as operator valued distributions, correlation distributions, locality, causality, and field operator gauge transformations.