Robin Berjon @robinberjon · 7 Sept 2016 @SimonDeDeo Nitpick: in BRIP, reference [2] has «The name of the publisher» instead of the actual publisher.
