CAV 1991From Data Structure to Process StructureEd BrinksmaPDFDOI 10.1007/3-540-55179-4_24dblpBibTeXNo abstract available.