Specification and API of contracts

Last updated