Concrete Categories and Injectivity. - H. Bargenda; Horst Herrlich; George E. Strecker (Mathematical Foundations of Programming Semantics, 1985)