Aceto, L., and A. Ingólfsdóttir. “Testing Hennessy-Milner Logic With Recursion”. BRICS Report Series, vol. 5, no. 50, June 1998, doi:10.7146/brics.v5i50.19496.