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.

Authors

Edsger W. Dijkstra

This author has not been identified. Look up 'Edsger W. Dijkstra' in Google

A. J. M. van Gasteren

This author has not been identified. Look up 'A. J. M. van Gasteren' in Google