John Mitchell. Type Systems for Programming Languages. In: J. van Leeuwen ed.

• 陆汝钤.；计算机语言的形式语义