MFS: a Program Development System Based on Rewriting Method

• MFS:一个基于重写技术的程序开发系统