Spec and Documentation for the API by example (ABE) format