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," in IEEE Software, vol. 3, no. , pp. 56-69, 1986.