On Residuated Approximations. - Hajnal Andréka; R. J. Greechie; George E. Strecker (Categorial Methods in Computer Science, 1988)