Verifying the Smallest Interesting Colour Code with Quantomatic. - Liam Garvie; Ross Duncan (QPL, 2017)