Pseudo-Code of Smart Contracts