A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification / J. A. Bergstra & J. V. Tucker