Takikawa, et al.. Constraining Delimited Control with Contracts. Springer Berlin Heidelberg, 2013, doi:10.1007/978-3-642-37036-6_14.