Injective Choice Functions - Holz, Michael; Podewski, Klaus-Peter; Steffens, Karsten (Springer, 1987)