Selected Writings on Computing: A Personal Perspective, chap. The Mathematics Behind the Banker’s Algorithm (1982)

by E W Dijkstra