By H. Zijlstra. by A. S. Troelstra. Revised by P. Zijlstra. P. J. Lemstra. by Vern Terpstra. Edsger W. Dijkstra. By A. K. Malhotra.