Cardano Inches Toward Smart Contract Implementation with New Paper

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