A Formalisation of Consistent Consequence for Boolean Equation Systems. - Myrthe van Delft; Herman Geuvers; Tim A. C. Willemse (ITP, 2017)