Michel Sintzoff Invariance and Contraction by Infinite Iterations of Relations. 349-373 1991 conf/hlppp/1991 Research Directions in High-Level Parallel Programming Languages db/conf/hlppp/hlppp1991.html#Sintzoff91