Operational Methods in Theoretical Computer Science