A related paper by Nick Szabo: "A Formal Language for Analyzing Contracts" http://szabo.best.vwh.net/contractlanguage.html http://szabo.best.vwh.net/contract

A related paper by Nick Szabo: "A Formal Language for Analyzing Contracts" http://szabo.best.vwh.net/contractlanguage.html http://szabo.best.vwh.net/contractlanguage.html Szabo's various other related papers: http://szabo.best.vwh.net/index.html http://szabo.best.vwh.net/index.html and his blog at http://unenumerated.blogspot.com/ http://unenumerated.blogspot.com/