A generalization of formal schemes and rigid analytic varieties. R. Huber (1994) Mathematische Zeitschrift