Cardano Inches to Smart Contract Implementation with New Paper

Cardano reveals the formal model of its smart contracts, but mainnet release date remains uncertain