I found that I need a specification of cicada language
1) for documentation
2) for a specification is easy to revise