CAV 1992Layering Techniques for Development of Parallel SystemsMannes Poel, Job ZwiersDOI 10.1007/3-540-56496-9_3dblpBibTeXNo abstract available.