A marvelous introduction to systems theory, including some of the common traps that systems fall into and how to get out of them. Clear, illuminating, and very accessible to the lay reader. Highly recommended.
A gentle introduction to specifying concurrent systems with the Temporal Logic of Actions, and the use of the TLC model checker to test them out.
A murder mystery set in the ancient Ottoman Empire, centering around the lives of the miniaturists who illuminate books. Nice, but a bit long-winded.
A cut above the usual run of comedic Welsh crime noir.
Can’t believe I only just discovered Elmore Leonard. Luckily there’s plenty more where this came from.
A good survey of the fairly recent state of evolutionary theory.
Piotr Dobrogost has converted the entire series into complete html and pdf versions. Thank you, Piotr!