keeping simple
Rabin-Scott Finite Automata and Their Decision Problems
Al Gore and the Internet
RTLinux retrospective
Kuth’s Merge Sort in C
don’t defer
State machines for large scale computer software and systems
Mathematics errors in computer science
Unforgivable C programming 1
Process algebra and automata theory
Lecture notes on Paxos