“My current opinion is that an interface described in English is likely to be more intuitive and understandable for developers than one written in a formal specification language.”