Structured operational semantics as a specification language (1995)

by B Bloom
Venue:In: Conference Record of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’95