Marieke Huisman, Anton Wijs: Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP 2020: 10-14