E. P. Gribomont
-
Synthesis of concurrent programs for an atomic read/write model of computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture-Directed Refinement
IEEE Transactions on Software Engineering