An approach to compiler correctness (1977)

by L M Chirica, D F Martin
Venue:In Proceedings of the International Conference on Reliable Software