Author: IFIP Workshop on Logic and Architecture Synthesis (1994 Grenoble, France)