Composing contracts: an adventure in financial engineering (2000)research.microsoft.com12 pointsehudla10 years ago