Specification, documentation and sources added.