An Algebraic theory of program specification and correctness using symmetry operations / J. R. Gabriel.
|Personal Name(s):||Gabriel, J. R.|
Argonne, Ill. :
Argonne National Laboratory,
iv, 17 p.
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