Back-end design of a formal high level synthesis system - Hasan, Masudul (1993)