Galois connections. (English) Zbl 0615.06002
Mathematical foundations of programming semantics, Proc. Int. Conf., Manhattan/Kans. 1985, Lect. Notes Comput. Sci. 239, 122-134 (1986).
Reviewer: D.Pumplün