Apps with 'Contract programming' feature