A theory of arrays for program derivation. Transferral dissertation, Programming Research (1988)

by Chris J Wright