Logic Colloquium (Lecture Notes in Mathematics, No. 453), ed. by R. Parikh, Springer-Verlag, Berlin, 1975 (informationswissenschaftl. Veröffentlichungen)