An automatically generated and provably correct compiler for a subset of ada (1992)

by J Palsberg
Venue:In: 4th IEEE International Conference on Computer Languages, ICCL’92