Formal languages and programming proceedings of a seminar organized by UAM-IBM Scientific Center ; Madrid, April 23 - 25, 1975 (North-Holland Publ., 1976)