Operational semantics

by Nada Amin , Adriaan Moors , Martin Odersky