A Note on Extending Equivalence Theories of Algorithms.

Kojiro Kobayashi A Note on Extending Equivalence Theories of Algorithms. 54-56 1974 3 Inf. Process. Lett. 2 db/journals/ipl/ipl3.html#Kobayashi74