Relational Expressions for Data Transformation and Computation. - David Robert Pratten; Luke Mathieson (ADC, 2023)