Contract facilitates the handling of documents that are processible by both humans and machines. Contracts in e-commerce are one possible application, but the programs in this package are not limited to any particular use. The package is desinged with security and resource economy in mind, because of possible embedded applications in handheld devices, smart cards, and other attractive targets for e-commerce.