On a theorem of Stinespring concerning integral operators of trace class. R.A. Lorentz; W.P. Kamp; P.A. Rejto — 1989 Journal für die reine und angewandte Mathematik