"How to design programs"[1] might be a good fit for you. There is a detailed justification for it in [2]. [1] http://www.htdp.org/ http://www.htdp.org/ [2] htt

"How to design programs"[1] might be a good fit for you. There is a detailed justification for it in [2]. [1] http://www.htdp.org/ http://www.htdp.org/ [2] http://www.ccis.neu.edu/scheme/pubs/jfp2004-fffk.pdf http://www.ccis.neu.edu/scheme/pubs/jfp2004-fffk.pdf