H. Topa Valentim and S. Valente Rodrigues, “Technical Details”, rapl, no. 5, Nov. 2019.