Motivations: The paper has been the start of a flurry of work on ownership types, which is still influential in the academic community and had practical impact on the design of the programming language Rust.