author : Mihhail Matskin

Short works

• Applications of Structural Synthesis of Programs. 1999. (In FM'99 volume 1 )