TY  - BOOK
AU  - Liu, Yanhong Annie
TI  - Systematic Program Design: From Clarity to Efficiency
SN  - 9781107610798
PY  - 2013///
PB  - Cambridge University Press
ER  -