Systematic Program Design: From Clarity to Efficiency

Anyone read this? They seem to use a design recipe that I haven't seen elsewhere.