Flexible, Reliable Software by Henrik B. Christensen