Weiner, L. (2013) “Proof-carrying authorization in distributed systems with Beluga: a case study”, McGill Science Undergraduate Research Journal. Montréal, Canada, 8(1), pp. 55–61. doi: 10.26443/msurj.v8i1.112.