Brian Matthews Brian Ritchie Juan Bicarregui Synthesising Structure from Flat Specifications. 148-161 1998 conf/b/1998 B http://link.springer.de/link/service/series/0558/bibs/1393/13930148.htm db/conf/b/b1998.html#MatthewsRB98