- Eric Hehner, '
A Practical Theory of Programming

*Science of Computer Programming*, 1990. This article provides a presentation of the theory of predicative programming. - Eric Hehner,
*a Practical Theory of Programming..*, 2016 edition. This book provides a presentation of predicative programming. Its notation is a bit less conventional than mine. There is also free translation into Chinese!

- What is the enlightenment I'm supposed to attain after studying finite automata? An awesome answer on Stack Overflow.
- Kleene's first paper on regular expressions.

(c) Theodore Norvell