Comment Re:NOT TRUE: Remeber Dijkstra & THE? (Score 1) 517
Mod parent up. Dijkstra's paper on THE was the first paper I read in my grad OS class, and he was an ardent supporter that ALL computer programs should be formally proven.
Now whether you could actually call THE an OS, in the modern sense, could be debated...