Quantitative foundations for resource theories - Marsden, DG; Maaike, M (Computer Science Logic, 2018)