for CACM using techniques developed by his student Susan Owicki to prove correctness of this algorithm. Dan Ingalls L. Peter Deutsch Ken Thompson Fran Allen Bernie Cosell Donald Knuth See also Halcyon Days External links Book website. 2009 non-fiction books Computer programming books