Generalized α-ψ Contractive Type Mappings and Related Fixed Point Theorems with Applications. (2nd September 2012)