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