H. H. ten Cate Rigorous Abstraction and Specification in Parallel Software Development. 107-116 1994 conf/eurosim/1994 EUROSIM db/conf/eurosim/eurosim1994.html#Cate94