Fairouz Tchier Demonic Fixed Point of Semantics Function. 670-680 2005 conf/serp/2005-2 Software Engineering Research and Practice db/conf/serp/serp2005-2.html#Tchier05