aku wrote: > I recall correctly, the author himself mention's that DBC is squarely > based on dijkstra's earlier theoretical basis..... Oh god I'm going to have to read it all again!