On algorithmic equivalence of instruction sequences for computing bit string functions - J. A. Bergstra, C. A. Middelburg

On algorithmic equivalence of instruction sequences for computing bit string functions - J. A. Bergstra, C. A. Middelburg | Arena