Thomas Neele Jaco van de Pol Operations on Fixpoint Equation Systems. 2024 20 Log. Methods Comput. Sci. 3 https://doi.org/10.46298/lmcs-20(3:5)2024 db/journals/lmcs/lmcs20.html#NeeleP24 streams/journals/lmcs