Nancy A. Lynch Sergio Rajsbaum On the Borowsky-Gafni Simulation Algorithm. 4-15 1996 ISTCS db/conf/istcs/istcs1996.html#LynchR96