Recent advances in program verification through computer algebra - Yang, Lu (Frontiers of Computer Science in China)