Some Binary Derivation Systems. - Donald Michie; E. E. Sibert (J. ACM, 1974)