Systematic Program Design : From Clarity to Efficiency - Yanhong Annie Liu; Yanhong Annie Liu (Systematic Program Design : From Clarity to Efficiency, 2013)