Some comments on the aims of MIRFAC

Edsger W. Dijkstra. Some comments on the aims of MIRFAC. Communications of the ACM, 7(3):190, 1964. [doi]

Abstract

Abstract is missing.