1. S. Feferman, Arithmetization of metamathematics in a general setting, Foundation of Mathematics 49 (1960), pp. 33–92.
2. P. Hájek and V. Švejdar, A note on the normal form of closed formulas of interpretability logic, preprint.
3. D. de Jongh and F. Veltman, Provability logic for relative interpretability, to appear in Proceedings of the Heyting Conference, Chaika, Bulgaria,1988.
4. V. Švejdar, Modal analysis of generalized Rosser sentences, Journal of Symbolic Logic 48 (1983), no. 4, pp. 986–999.
5. Logic Group Preprint Series;A Visser,1988