Structural synthesis of programs using regular data structures
Harf, Mait
;
Penjam, Jaan
Abstracts of the 6-th Nordic Workshop on Programming Theory, 17-19 October 1994, Aarhus, Denmark
1994
/
p. 19