Hans Henrik Løvengreen Jørgen Staunstrup Synchronous Realization of Asynchronous Computations. 95-110 1992 conf/tpcd/1992 TPCD db/conf/tpcd/tpcd1992.html#LovengreenS92