David B. Thomas: Management and programming of reconfigurable hardware resources. Imperial College London, UK 2011