A natural deduction treatment of operational semantics (1988)

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