aku wrote: > If someone deserves the title "father of DBC" it surely must > be E. W. Dijkstra, the one who teached me in college;) How come? This is obviously some bit of CS history I have missed, do tell.