Updated readme

Added new specification and implementation details.