Added read semantics specification