Proceedings of 1st Italian Conference on Theoretical Computer Science (ICTCS), Pisa, 1972