Monadic abstract interpreters | Publicación