Issue No.01 - January/February (1986 vol.3)
R. Paige , Rutgers University
The use of a restricted class of invariants as part of a language supports both the accurate synthesis of high-level programs and their translation into efficient implementations.
R. Paige, "Programming with Invariants", IEEE Software, vol.3, no. 1, pp. 56-69, January/February 1986, doi:10.1109/MS.1986.233070