Hardware and Software: The Closing Gap - Hoare, C; Page, I (Springer, 1994)