TY  - BOOK
AU  - Liu, Yanhong Annie
TI  - Systematic Program Design: from clarity to efficiency
U1  - 005.1 LIU 
PY  - 2013///
CY  - USA
PB  - Cambridge University press
ER  -