Structural synthesis of programs using regular data structuresHarf, Mait; Penjam, JaanAbstracts of the 6-th Nordic Workshop on Programming Theory, 17-19 October 1994, Aarhus, Denmark1994 / p. 19