Aleksandar Dimovski Dan R. Ghica Ranko Lazic Data-Abstraction Refinement: A Game Semantic Approach. 102-117 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_9 db/conf/sas/sas2005.html#DimovskiGL05