ComputingComputer ScienceFormal MethodsFinite-state MachinesVerification
20
Financial Intermediation and Delegated Monitoring
Douglas W. Diamond · The Review of Economic Studies · 1984 · 8.5K citations
Incentive-Compatible Debt Contracts: The One-Period Problem
Douglas Gale, Martin Hellwig · The Review of Economic Studies · 1985 · 1.8K citations