Formal specification
Basic README