Results in Cone Metric Spaces and Related Fixed Point Theorems for Contractive Type Mappings With Application | Synapse