Get a load of this book:
What is wrong with this picture? Maybe the words “An Introduction” at the bottom of it…. This is going over recent research into the area of abstract programming language creation… It requires the knowledge of the advanced undergrad theory classes… and its an introduction??? I guess if it’s written by the world’s formost expert on the subject then anything can be an introduction?