From denotational to operational and axiomatic semantics for ALGOL-like languages: An overview (1984)

by B A Trakhtenbrot, Joseph Y Halpern, Albert R Meyer
Venue:Logic of Programs