An Axiomatic Approach to the Equivalence Problems of Algorithms with Applications (1964)

by S Igarashi