Solidity Lab
HouseRental.sol is an example smartcontract meant to be a close to direct translation of a generic legal house rental contract to show how a legal contract can be translated.
@misc{mourouzis2019introduction,
title={Introduction to Decentralization and Smart Contracts},
author={Theodosis Mourouzis and Jayant Tandon},
year={2019},
eprint={1903.04806},
archivePrefix={arXiv},
primaryClass={cs.CR}
}