Ricardian Contract

Ricardian Contract is a style of contract composed of human readable contractual information (Logic Model), and machine executable contract binding code, like Smart Contract. Wikipedia provides a definition of Ricardian Contract can be found in the References.