"Option contracts."

Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics