A natural deduction treatment of operational semantics (1988)

by R Burstall, F Honsell
Venue:In Foundations of Software Technology and Theoretical Computer Science