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