Add a short specification in readme