The Semantics of Programming Languages (1990)

by M Hennessy
Venue:APPENDIX B. CORRECTNESS PROOFS FOR Q1 PROGRAMS 354