Stuctured operational semantics as a specification language (1995)

by B Bloom
Venue:In Conference Record of the 22nd ACM Symposium on Principles of Programming Languages