J. Young Loveridge, “Modelling operations: Counting-based and collection-based approaches to computation”, tandc, vol. 7, no. 1, May 2017.