Course notes on operational semantics. Unpublished manuscript (1978)

by Gordon D Plotkin