Verification of array, record, and pointer operations in pascal (1979)

by D C Luckham, N Suzuki
Venue:ACM Trans. Program. Lang. Syst