The correspondence associated to an inner completely positive map. J.A. Mingo — 1989 Mathematische Annalen