Formal languages and programming :proceedings of a seminar organized by UAM-IBM Scientific Center, Madrid April 23-25, 1975
