Roman, Gruia-Catalin Wilcox, G.D. Architecture-Directed Refinement - 239-258 p. Subjects--Topical Terms: Program DevelopmentArchitectural ConcreteConcurrency