1. Mirkowska,G.,Salwicki,A., Algorithmic logic, PWN Warszawa & D.Reidel Utrecht, to appear
2. LOGLAN' 82 report, PWN Warszawa 1983
3. Aho,A.,Hopcroft,J.,Ullman,J., The design and analysis of computer algorithms, Addison-Wesley 1974
4. Dańko,W., A criterion of undecidability of algorithmic theories in Proc MFCS'80, LNCS 88, Springer, 1980
5. Hoare,C.A.R., Proof of correctness of data representation Acta Informatica, 1972, 271–281