Smart Contracts on bitcoin

"Tokens are a use case for smart contracts. One use for smart contracts"

Literature

Tokeda
Tokenized
SLP

Patents

Deterministic Finite Automata via Blockchain
Registry and automated management method for blockchain-enforced smart contracts
TOKENISATION METHOD AND SYSTEM FOR IMPLEMENTING EXCHANGES ON A BLOCKCHAIN
Agent-based turing complete transactions integrating feedback within a blockchain system
A method and system for controlling the performance of a contract using a distributed hash table and a peer-to-peer distributed ledger
A METHOD AND SYSTEM FOR THE SECURE TRANSFER OF ENTITIES ON A BLOCKCHAIN
Patents

Software

Cashy
BitcoinToken
Tokenized Agent