Sadly, Richard died in January this year. This book is available to download from one of his academic pages: https://www.eis.mdx.ac.uk/staffpages/r_bornat/#com

Sadly, Richard died in January this year. This book is available to download from one of his academic pages: https://www.eis.mdx.ac.uk/staffpages/r_bornat/#compilerbook https://www.eis.mdx.ac.uk/staffpages/r_bornat/#compilerbook https://www.eis.mdx.ac.uk/staffpages/r_bornat/books/compiling.pdf https://www.eis.mdx.ac.uk/staffpages/r_bornat/books/compilin... https://en.wikipedia.org/wiki/Richard_Bornat https://en.wikipedia.org/wiki/Richard_Bornat