Added the Go specification