While Loop Demonic Semantics Monotype/Residual Style.

Fairouz Tchier While Loop Demonic Semantics Monotype/Residual Style. 896-904 2003 conf/serp/2003-2 Software Engineering Research and Practice db/conf/serp/serp2003-2.html#Tchier03