How_to_Design_Programs,_second_edition:_An_Introduction_to_Programming_and_Computing