Cardano reveals the formal model of its smart contracts, but mainnet release date remains uncertain
Source: https://cointelegraph.com/news/cardano-inches-to-smart-contract-implementation-with-new-paper
Cardano Inches Toward Smart Contract Implementation with New Paper
January 29, 2020
CoinTelegraph