A Mechanical Approach for Deriving Algorithmic Programs.

Haihe Shi Jinyun Xue Dawei Du A Mechanical Approach for Deriving Algorithmic Programs. 483-487 2008 ACIS-ICIS http://doi.ieeecomputersociety.org/10.1109/ICIS.2008.32 conf/ACISicis/2008 db/conf/ACISicis/ACISicis2008.html#ShiXD08