[ac50hz]

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/books/compilin...

https://en.wikipedia.org/wiki/Richard_Bornat