1. ... Asser, G., Einführung in die mathematische Logik III, BSB B.G.Teubner Verlagsgesellschaft, Leipzig 1981.
2. ... Banachowski, L., Investigations on properties of programs by means of extended algorithmic logic I, Fundamenta Informaticae Vol.I (1977), 93–119.
3. ... Banachowski, L., Kreczmar, A., Mirkowska, G., Rasiowa, H., Salwicki, A., An Introduction to Algorithmic Logic in: Mazurkiewicz, A., Pawlak, Z., Theoretical Foundations of Computer Science, Banach Centre Publ. Vol. 2, Polish Sc. Publ., Warsaw 1977, 7–99.
4. ... Mirkowska, G., Algorithmic Logic and its Applications in the Theory of Programs, Fundamenta Informaticae Vol.I (1977)1–17.
5. .. Rasiowa, H., Sikorski, R., Mathematics of metamathematics, PWN, Warszawa 1970.