P*: A model of pilot-abstractions

Paper URL