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. , pp. 56-69, January/February 1986, doi:10.1109/MS.1986.233070