TY  - SER
AU  - Roman, Gruia-Catalin
AU  - Wilcox, G.D.
TI  - Architecture-Directed Refinement
KW  - Program Development
KW  - Architectural Concrete
KW  - Concurrency
ER  -