Composing contracts: an adventure in financial engineering (functional pearl (2000)

by S P Jones, J-M Eber, J Seward
Venue:In: Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming, pp 280–292. ACM Press,Washington