Venkatesh, K. J (1992) High-level synthesis of bundled delay-insensitive circuits from occam program specifications using time-sharing. Masters thesis, Concordia University.