defx/spec

Behavioural specifications that are easily interpreted by both humans and machines