Baltasar Trancón y Widemann, Markus Lepper: Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS 2023: 258-273