Girish Bhat Rance Cleaveland Efficient Model Checking via the Equational µ-Calculus. 304-312 1996 conf/lics/1996 LICS db/conf/lics/lics96.html#BhatC96 http://doi.ieeecomputersociety.org/10.1109/LICS.1996.561358