Julian Warner
School of Management and Economics, The Queen's University of Belfast, Northern Ireland BT7 INN
Computation: finite and infinite machines