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. 1-7 1986 23 Acta Inf. 1 db/journals/acta/acta23.html#DijkstraG86