British Colloquium for Theoretical Computer Science, 2-5 April. tr 2012, 6 (5).