这本书涵盖了结构操作语义学（其中计算由许多小步骤组成）和自然语义学（其中计算由一个大步骤组成）的基础。