María-del-Mar Gallardo Christophe Joubert Pedro Merino Static Analysis using Parameterised Boolean Equation Systems http://arxiv.org/abs/cs/0606092 2006 CoRR abs/cs/0606092 db/journals/corr/corr0606.html#abs-cs-0606092