Logic colloquium - Parikh, R (Lecture Notes in Mathematics, No.0453, 1975)