I'm not sure it's simple, but it is related. If you read their paper you'll see they talk about the relationship of this work to Bierhoff and Aldrich's paper "

I'm not sure it's simple, but it is related. If you read their paper you'll see they talk about the relationship of this work to Bierhoff and Aldrich's paper "Modular TypeState Checking of Alised Objects" and Naden, et al's paper on Permissions.