Updated specification documents