Luc Bougé Yann Le Guyadec Gil Utard Bernard Virot A Proofe System for a Simple Data-Parallel Programming Language. 63-72 1994 conf/apdc/1994 Applications in Parallel and Distributed Computing db/conf/apdc/apdc1994.html#BougeGUV94