[1]
Burdett, C., Honor, A. and Moore, R. 2018. Tun: Reliable Modalities. Journal of Computer Science and Software Engineering. 10, 3 (Oct. 2018).