Aceto, Luca, and Anna Ingólfsdóttir. 1998. “Testing Hennessy-Milner Logic With Recursion”. BRICS Report Series 5 (50). https://doi.org/10.7146/brics.v5i50.19496.