co-DNA specification language and tool