Dominique Méry A simple refinement-based method for constructing algorithms. 51-59 2009 41 SIGCSE Bulletin 2 http://doi.acm.org/10.1145/1595453.1595462 db/journals/sigcse/sigcse41.html#Mery09