Yu Zhou: Automatic synthesis and optimisation of asynchronous data paths using partial acknowledgement. University of Newcastle Upon Tyne, UK 2008