Young Loveridge, J. Modelling Operations: Counting-Based and Collection-Based Approaches to Computation. tandc 2017, 7.