1. Bennet, C. (1986). On some orderings of extensions of arithmetic. Department of Philosophy, University of Göteborg.
2. Buss, S. R. (1986). Bounded arithmetic. Napoli: Bibliopolis.
3. de Bouvère, K. L. (1965a). Logical synonymy. Indagationes Mathematicae, 27, 622–629.
4. de Bouvère, K. L. (1965b). Synonymous theories. In J. W. Addison, L. Henkin, & A. Tarski (Eds.), The Theory of Models. Proceedings of the 1963 International Symposium at Berkeley (pp. 402–406). Amsterdam: North Holland.
5. de Myers, D. (1989). Lindenbaum-Tarski algebras. In Handbook of Boolean algebras (Vol. 3, pp. 1167–1196). Elsevier Science Publishers.