S. Bücking, “Painting cows from a type-logical perspective”, SuB, vol. 22, no. 1, pp. 277–294, May 2019.