- Scooping the Loop Snooper, by Geoffrey Pullman
- On Computable Numbers, by Alan Turing
- A Turing Machine(This one looks great, but has a computer inside -- which is sort of cheating.)
- Another Turing Machine (This one is purely mechanical.)

- A gaming perspective on A*
- Dijkstra's paper
- An interview with Dijkstra on Dijkstra's algorithm and other things.

- Knuth's Paper on big-O, big-Theta, and big-Omega.
- For some interesting history, read the first section of G.H. Hardy's
*Orders of Infinity* - Hoare's first publication on Quicksort (algorithms 63, 64, 65)
- Hoare's analysis of Quicksort.
- Pessimal Algorithms and Simplexity Analysis

- Wikipeda entry
- Parsing Expressions by Recursive Descent
- JavaCC: JavaCC site JavaCC Tutorial JavaCC FAQ Eclipse Plug in

- Download Dafny from Github
- Dafny online
- Short video on installing and using Dafny in Visual Studio.
- Interactive dafny guide.
- Dafny Reference PDF HTML
- Other useful Dafny links

- An interesting blog post by Bertrand Meyer on the duality of tests and specifications.
- Bertrand Meyer
*Applying "Design by Contract"*, in Computer (IEEE), 25, 10, October 1992, pp. 40–51 PDF - Jon Bentley on Writing Correct Programs

- JML (Java)
- My monitors classes (concurrent Java)
- Java on contracts
- In C/C++

- ESC/Java2
- Microsoft Code Contracts
- VCC (Verifier for Concurrent C)
- eCv
- Spec# online
- The binary search routine in Spec#
- Textbook examples in Spec#

(c) Theodore Norvell