L. Aceto and A. Ingólfsdóttir, “Testing Hennessy-Milner Logic with Recursion”, BRICS, vol. 5, no. 50, Jun. 1998.