Aceto, L.; Ingólfsdóttir, A. Testing Hennessy-Milner Logic With Recursion. BRICS 1998, 5.