An Algebraic theory of program specification and correctness using symmetry operations / J. R. Gabriel.

Saved in:
Gabriel, J. R.
Argonne, Ill. : Argonne National Laboratory, 1987.
iv, 17 p.
"March 1987."
Supported in part by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Dept. of Energy, under contract W-31-109-Eng-38, and in part by the U.S. Army Intelligence Center and School, a TRADOC mission, under contract P-86112