Synthesis of Gate Model
1996 ◽
pp. 163-203