A Simple Fixpoint Argument Without the Restriction to Continuity

Edsger W. Dijkstra, A. J. M. van Gasteren. A Simple Fixpoint Argument Without the Restriction to Continuity. Acta Informatica, 23(1):1-7, 1986.

Abstract

Abstract is missing.