A Finite State Program Model and Its Applications

• 有限状态程序模型及其应用