Applications of structural synthesis of programsTõugu, Enn; Matskin, Mihhail; Penjam, JaanProceedings of the World Congress on Formal Methods in Development and Computing Systems (FM'99) : Toulouse, France1999 / p. 551-569