A Theoretical Foundation for Leases and Other Executory Contracts. | Synapse