Mads Dam Dilian Gurov µ-Calculus with Explicit Points and Approximations. 255-269 2002 12 J. Log. Comput. 2 http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_02/120255.sgm.abs.html db/journals/logcom/logcom12.html#DamG02