Mannes Poel Job Zwiers Layering Techniques for Development of Parallel Systems. 16-29 1992 conf/cav/1992 CAV db/conf/cav/cav1992.html#PoelZ92 http://dx.doi.org/10.1007/3-540-56496-9_3