Static Analysis using Parameterised Boolean Equation Systems | Publicación