Synthesizing structure from flat specifications (1998)

by B Matthews, B Ritchie, J Bicarregui
Venue:In Proc. B’98, LNCS 1393