Fangfang Yuan, Stephen Wright, Kerstin Eder, David May Department of COMPUTER SCIENCE Managing Complexity through Abstraction: A refinement-based approach.
