Haihe Shi, Jinyun Xue, Dawei Du. A Mechanical Approach for Deriving Algorithmic Programs. In Roger Y. Lee, editor, 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA. pages 483-487, IEEE Computer Society, 2008. [doi]
Abstract is missing.