Discussions with Karl Lieberherr, Jeff Fox, Rick Rudell, Alan Coppola, Loc Bao Nguyen and Giovanni De Micheli were very instructive for me while preparing this paper. I would like also to thank Richard Rudell for providing me with Kiss, Espresso and FSM examples.