Stav dette: Systematic program design : from clarity to efficiency / Yanhong Annie Liu, Stony Brook University, State University of New York.