A Structural View of Operational Sernantics (1981)

by G D Plotkin