Brueckner theory