Roni Potasman Joseph Lis Alexandru Nicolau Daniel Gajski Percolation Based Synthesis. 444-449 1990 DAC http://doi.acm.org/10.1145/123186.123333 db/conf/dac/dac90.html#PotasmanLNG90