Initial version of specifications