Heike Wehrheim Behavioral Subtyping Relations for Active Objects. 143-170 2003 23 Formal Methods in System Design 2 http://dx.doi.org/10.1023/A:1024764232069 db/journals/fmsd/fmsd23.html#Wehrheim03