The formal semantics of programming languages an introduction Glynn

• 程序设计语言的形式语义