2 ms·Simon Peyton Jones: Composing contracts: an adventure in financial engineering4 points by ehudla 10y ago