Florian Martin Martin Alt Reinhard Wilhelm Christian Ferdinand Analysis of Loops. 80-94 1998 conf/cc/1998 CC db/conf/cc/cc98.html#MartinAWF98 http://dx.doi.org/10.1007/BFb0026424