Qualitative versus quantitative fixed point techniques in computer science | Publicación