Instantiation for Parameterised Boolean Equation Systems. - Alexander van Dam; Bas Ploeger; Tim A. C. Willemse (ICTAC, 2008)