Michel Bidoit Rolf Hennicker Externalized and Internalized Notions of Behavioral Refinement. 334-350 2005 conf/ictac/2005 ICTAC http://dx.doi.org/10.1007/11560647_22 db/conf/ictac/ictac2005.html#BidoitH05